Synchronous equivalence : formal methods for embedded systems /

Bibliographic Details

Main Author:	Hsieh, Harry, 1967-
Other Authors:	Balarin, Felice, Sangiovanni-Vincentelli, Alberto
Format:	Book
Language:	English
Published:	Boston : Kluwer Academic Publishers, [2001]
Subjects:	Embedded computer systems. Formal methods (Computer science)