{"series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","volume":36,"author":[{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"full_name":"Rammig, Franz-Josef","last_name":"Rammig","first_name":"Franz-Josef"}],"citation":{"short":"W. Müller, F.-J. Rammig, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.","chicago":"Müller, Wolfgang, and Franz-Josef Rammig. <i>Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen</i>. Vol. 36. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.","bibtex":"@book{Müller_Rammig_1998, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, volume={36}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Müller, Wolfgang and Rammig, Franz-Josef}, year={1998}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }","ama":"Müller W, Rammig F-J. <i>Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen</i>. Vol 36. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1998.","mla":"Müller, Wolfgang, and Franz-Josef Rammig. <i>Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.","ieee":"W. Müller and F.-J. Rammig, <i>Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen</i>, vol. 36. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.","apa":"Müller, W., &#38; Rammig, F.-J. (1998). <i>Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen</i> (Vol. 36). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn."},"title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen","date_updated":"2024-04-18T20:28:11Z","type":"book","language":[{"iso":"ger"}],"publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","user_id":"16243","department":[{"_id":"26"}],"publication_status":"published","year":"1998","intvolume":"        36","_id":"23938","status":"public","date_created":"2021-09-08T08:47:50Z"}