Return to search

Model checking concurrent object oriented scoop programs /

Thesis (M.Sc.)--York University, 2007. Graduate Programme in Computer Science. / Typescript. Includes bibliographical references (leaves 153-157). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pqdiss&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft_dat=xri:pqdiss:MR38783

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/472097791
Date January 2007
CreatorsHuang, Hai Feng.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.002 seconds