Return to search

Formal object interaction language modeling and verification of sequential and concurrent object-oriented software /

Thesis (Ph. D.)--Georgia State University, 2007. / Title from file title page. Ying Zhu, committee chair; Xiaolin Hu, Geoffrey Hubona, Roy Johnson, Rajshekhar Sunderraman, committee members. Electronic text (216 p. : ill. (some col.)) : digital, PDF file. Description based on contents viewed Nov. 29, 2007. Includes bibliographical references (p. 209-216).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/182581495
Date January 2007
CreatorsPamplin, Jason Andrew.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
Sourceunrestricted

Page generated in 0.0015 seconds