Return to search

Symbolische LTL-Verifikation von Petrinetzen

Brandenburgische Techn. Universiẗat, Diss., 2001--Cottbus.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/174881132
CreatorsSpranger, Jochen.
Source SetsOCLC
LanguageGerman
Detected LanguageGerman

Page generated in 0.0017 seconds