Yurkowski, Patric Michael Xavier2013-02-252013-02-251988http://hdl.handle.net/1993/16725viii, 176 leaves :engMultiprocessor system design validation using a temporal deductive systemmaster thesis