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