Multiprocessor system design validation using a temporal deductive system

Thumbnail Image
Files
Yurkowski_Multiprocessor_system.pdf(7.11 MB)
Date
1988
Authors
Yurkowski, Patric Michael Xavier
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://hdl.handle.net/1993/16725
Collections
FGS - Electronic Theses and Practica