Return to search

Applying formal techniques to the design of concurrent systems.

Thesis (Ph. D.)--Carleton University, 1992. / Also available in electronic format on the Internet.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/290416659
Date January 1992
CreatorsVigder, Mark (Mark Ronald), Carleton University. Dissertation. Engineering, Electrical.
PublisherOttawa.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceProQuest Full Text

Page generated in 0.0715 seconds