Formal verification of asynchronous systems

Simple item page
dc.contributor.authorRahardjo, Budien_US
dc.date.accessioned2013-04-18T20:18:24Z
dc.date.available2013-04-18T20:18:24Z
dc.date.issued1996en_US
dc.degree.disciplineElectrical and Computer Engineeringen_US
dc.degree.levelDoctor of Philosophy (Ph.D.)en_US
dc.description.abstracten_US
dc.format.extentx, 150 leaves :en_US
dc.identifier(Sirsi) AJQ-6402en_US
dc.identifier.urihttp://hdl.handle.net/1993/19312
dc.language.isoengen_US
dc.rightsopen accessen_US
dc.titleFormal verification of asynchronous systemsen_US
dc.typedoctoral thesisen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Rahardjo_Formal_verification.pdf
Size:
6.74 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
FGS - Electronic Theses and Practica