@inproceedings{UrbanLehnigerHeyneetal., author = {Urban, Roberto and Lehniger, Kai and Heyne, Maximilian and Sch{\"o}lzel, Mario and Vierhaus, Heinrich Theodor}, title = {Vergleich der Beschreibung und Simulation einer Befehlssatzarchitektur in LISA und CoMet}, series = {MBMV 2014, B{\"o}blingen, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, booktitle = {MBMV 2014, B{\"o}blingen, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, publisher = {Cuvillier Verlag}, address = {G{\"o}ttingen}, isbn = {978-3-95404-637-9}, pages = {101 -- 112}, language = {de} }