Model-checking problems, machines and parameterized complexity

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