Reachability analysis and testing of asynchronous message-passing programs

Description

Thesis (Ph. D.)--North Carolina State University. / Includes vita. Includes bibliographical references (p. 90-96).

Links & Downloads

1. http://www.lib.ncsu.edu/theses/available/etd-04232002-210706/unrestricted/etd.pdf

Tags

North Carolina State University

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/50566855
Date	January 2002
Creators	Lei, Yu.
Source Sets	OCLC
Language	English
Detected Language	English