Options
Title
14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2011
Title Supplement
14. MBMV Workshop, 21. - 23.2.2011 in Oldenburg
Person Involved
Publisher
Publishing Place
Oldenburg
Publication Date
2011
ISBN
978-3-00-033820-5