Roberto Urban, Kai Lehninger, Maximilian Heyne, Mario Schölzel, Heinrich Theodor Vierhaus. Vergleich der Beschreibung und Simulation einer Befehlssatzarchitektur in LISA und CoMet. In Jürgen Ruf, Dirk Allmendinger, Matteo Michel, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany. pages 101-111, Cuvillier, 2014.
Abstract is missing.