Symbolic methods applied to formal verification and synthesis in embedded systems design
By: Karsten Strehl
Series: Berichte aus der Informatik; TIK-Schriftenreihe -- Nr. 36
Publisher: Shaker Verlag
Published: 2000
Place of publication: Aachen
Language: eng
Number of pages: 158
ISBN-13: 9783826571930