Model-checking problems, machines and parameterized complexity

Description

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

Links & Downloads

1. http://deposit.ddb.de/cgi-bin/dokserv?idn=972341285
2. http://freidok.ub.uni-freiburg.de/freidok/volltexte/2004/1457/pdf/main.pdf
3. http://freidok.ub.uni-freiburg.de/volltexte/1457/index.html

Tags

Model checking

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76517541
Date	January 2004
Creators	Chen, Yijia.
Publisher	[S.l. : s.n.],
Source Sets	OCLC
Language	English
Detected Language	English
Source	LF