Return to search

System verification tools based on monadic logics

Freiburg (Breisgau), University, Diss., 2003. / Erscheinungsjahr an der Haupttitelstelle: 2003.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76484517
Date January 1900
CreatorsAyari, Abdelwaheb.
Publisher[S.l. : s.n.,
Source SetsOCLC
LanguageEnglish
Detected LanguageGerman
SourceLF

Page generated in 0.0017 seconds