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