SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems

Bibliográfalaš dieđut
Váldodahkkit: Dräger, K, Kupriyanov, A, Finkbeiner, B, Wehrheim, H
Materiálatiipa: Conference item
Almmustuhtton: Springer−Verlag 2010