Nico Krebs, Lothar Schmitz, Uwe M. Borghoff. Implementing the Universal Virtual Computer. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2011 - 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I. Volume 6927 of Lecture Notes in Computer Science, pages 153-160, Springer, 2011. [doi]
Abstract is missing.