Return to search

Specification and compositional verification of real time systems /

Univ. of Technology, Diss--Eindhoven.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/246320514
Date January 1991
CreatorsHooman, Jozef.
PublisherBerlin [u.a.] : Springer,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0015 seconds