{"date_created":"2021-09-08T08:47:50Z","status":"public","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","intvolume":"        36","volume":36,"citation":{"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.","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.","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.","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.","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} }","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."},"type":"book","date_updated":"2024-04-18T20:28:11Z","title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen","_id":"23938","language":[{"iso":"ger"}],"publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","publication_status":"published","department":[{"_id":"26"}],"author":[{"first_name":"Wolfgang","id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang"},{"first_name":"Franz-Josef","full_name":"Rammig, Franz-Josef","last_name":"Rammig"}],"year":"1998","user_id":"16243"}