Formal verification of asynchronous systems

Thumbnail Image
Files
Rahardjo_Formal_verification.pdf(6.74 MB)
Date
1996
Authors
Rahardjo, Budi
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://hdl.handle.net/1993/19312
Collections
FGS - Electronic Theses and Practica