Model-checking problems, machines and parameterized complexity

Bibliographic Details
Other Involved Persons: Chen, Yijia (Other)
Format: eBook
Language:English
Published: 2004
Physical Description:Online-Ressource
Subjects:
QR Code: Show QR Code