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

FGPS - Electronic Theses and Practica