Multiprocessor system design validation using a temporal deductive system

Simple item page
dc.contributor.authorYurkowski, Patric Michael Xavieren_US
dc.date.accessioned2013-02-25T16:42:59Z
dc.date.available2013-02-25T16:42:59Z
dc.date.issued1988en_US
dc.degree.disciplineComputer Scienceen_US
dc.degree.levelMaster of Science (M.Sc.)en_US
dc.description.abstracten_US
dc.format.extentviii, 176 leaves :en_US
dc.identifierocm72731433en_US
dc.identifier.urihttp://hdl.handle.net/1993/16725
dc.language.isoengen_US
dc.rightsopen accessen_US
dc.titleMultiprocessor system design validation using a temporal deductive systemen_US
dc.typemaster thesisen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Yurkowski_Multiprocessor_system.pdf
Size:
7.11 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
FGS - Electronic Theses and Practica