Model-checking problems, machines and parameterized complexity

Bibliographic Details
Main Author: Chen, Yijia (Author)
Format: Book
Language:English
Published: 2004
Item Description:Auch online unter http://www.freidok.uni-freiburg.de
Physical Description:IV, 111 S.
Subjects:
QR Code: Show QR Code