Return to search

Model checking abstract state machines

Techn. University, Diss., 2001--Berlin.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/174882670
CreatorsWinter, Kirsten.
Source SetsOCLC
LanguageEnglish
Detected LanguageGerman
TypeOnline-Publikation.

Page generated in 0.0015 seconds