Return to search

Model-checking problems, machines and parameterized complexity

Freiburg (Breisgau), University, Diss., 2004.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76517541
Date January 2004
CreatorsChen, Yijia.
Publisher[S.l. : s.n.],
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceLF

Page generated in 0.0019 seconds