Advances in space and time efficient model checking of finite state systems /

Description

Thesis (Ph.D.) -- University of Adelaide, Dept. of Computer Science, 2002. / Bibliography: leaves 211-220.

Links & Downloads

1. http://web4.library.adelaide.edu.au/theses/09PH/09php223.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/224043658
Date	January 2002
Creators	Parashkevov, Atanas.
Source Sets	OCLC
Language	English
Detected Language	English
Source	Title page, contents and abstract only