Multi-valued symbolic model-checking
Subtitle: counter-examples, running time.
Series: Canadian theses = -- Th`eses canadiennes
Publisher: National Library of Canada
Published: 2003
Place of publication: Ottawa
Language: eng
Format: Microform
Notes: Thesis (M.Sc.) -- University of Toronto, 2003.

ENGI copy has paper print (vi, 91 leaves).