Return to search

Optimising communication structure for model checking

Thesis (Ph. D.)--University of Glasgow, 2003. / Ph. D. thesis submitted to the Computing Science Department, University of Glasgow, 2003. Includes bibliographical references. Print version also available.

  1. http://hdl.handle.net/1905/165
Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/166469057
Date January 2003
CreatorsSaffrey, Peter.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceConnect to electronic version.

Page generated in 0.0022 seconds