Book chapter
Design Verification using Synchronized Transitions
This is a contribution to an edited book giving an overview of a handful of different formal verificationtechniques. Further information is avaialable
Language: | English |
---|---|
Publisher: | Springer Verlag |
Year: | 1996 |
Pages: | 114-155 |
ISBN: | 3540634754 , 354069577X , 354069577x , 9783540634751 and 9783540695776 |
Types: | Book chapter |
DOI: | 10.1007/3-540-63475-4_3 |