{"language":[{"iso":"eng"}],"place":"Paderborn, Germany","date_updated":"2024-04-18T20:56:48Z","title":"Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen","editor":[{"last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243"},{"last_name":"Rammig","full_name":"Rammig, Franz Josef","first_name":"Franz Josef"}],"_id":"53587","status":"public","date_created":"2024-04-18T20:56:39Z","year":"1998","publication_identifier":{"isbn":["3-931466- 35-3"]},"user_id":"16243","citation":{"chicago":"Müller, Wolfgang, and Franz Josef Rammig, eds. <i>Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen</i>. Paderborn, Germany, 1998.","mla":"Müller, Wolfgang, and Franz Josef Rammig, editors. <i>Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen</i>. 1998.","apa":"Müller, W., &#38; Rammig, F. J. (Eds.). (1998). <i>Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen</i>.","short":"W. Müller, F.J. Rammig, eds., Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen, Paderborn, Germany, 1998.","ama":"Müller W, Rammig FJ, eds. <i>Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen</i>.; 1998.","ieee":"W. Müller and F. J. Rammig, Eds., <i>Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen</i>. Paderborn, Germany, 1998.","bibtex":"@book{Müller_Rammig_1998, place={Paderborn, Germany}, title={Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, year={1998} }"},"type":"book_editor","department":[{"_id":"58"}]}