Guest editors' introduction: Model checking in a nutshell

Share/Save/Bookmark

Hermanns, H. and Katoen, J.P. (2002) Guest editors' introduction: Model checking in a nutshell. Journal of Logic and Algebraic Programming, 52-53 . pp. 1-5. ISSN 1567-8326

open access
[img]
Preview
PDF
422kB
Item Type:Article
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66259
Official URL:http://dx.doi.org/10.1016/S1567-8326(02)00030-9
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page