Return to search

Modular verification of concurrent systems /

No description available.
Identiferoai:union.ndltd.org:OhioLink/oai:etd.ohiolink.edu:osu1487267546983528
Date January 1986
CreatorsSobel, Ann E. Kelley
PublisherThe Ohio State University / OhioLINK
Source SetsOhiolink ETDs
LanguageEnglish
Detected LanguageEnglish
Typetext
Sourcehttp://rave.ohiolink.edu/etdc/view?acc_num=osu1487267546983528
Rightsunrestricted, This thesis or dissertation is protected by copyright: all rights reserved. It may not be copied or redistributed beyond the terms of applicable copyright laws.

Page generated in 0.0016 seconds