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