-
1Synchronous Equivalence [electronic resource] : Formal Methods for Embedded Systems / Synchronous Equivalence [electronic resource] : Formal Methods for Embedded Systems /by Hsieh, Harry. author., Balarin, Felice. author., Sangiovanni-Vincentelli, Alberto. author., SpringerLink (Online service)
Published 2001Texto bibliotecaCOLPOS -
2Synchronous Equivalence [electronic resource] : Formal Methods for Embedded Systems / Synchronous Equivalence [electronic resource] : Formal Methods for Embedded Systems /by Hsieh, Harry. author., Balarin, Felice. author., Sangiovanni-Vincentelli, Alberto. author., SpringerLink (Online service)
Published 2001Texto bibliotecaCOLPOS