Return to search

A games-based foundation for compositional software model checking /

Based on the author's Thesis (Ph. D.)--Queen's University (Kingston, Ontario), 2002. / Includes bibliographical references (p. 161-69). Available on-line.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76936716
Date January 2002
CreatorsGhica, Dan R.
PublisherOxford : Oxford University Computing Laboratory,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0017 seconds