Omega-Regular Model Checking.

Boigelot, Bernard

;

Legay, Axel

;

Wolper, Pierre

(2004) TACAS

Files

No attached file found for this publication.

Details

Authors

Boigelot, Bernard
Author
Legay, Axel
Author
Wolper, Pierre
Author

Affiliations

UCLouvainSST/ICTM - Institute of Information and Communication Technologies, Electronics and Applied Mathematics

Citations

APA
Chicago
FWB

Boigelot, B., Legay, A., & Wolper, P. (2004). Omega-Regular Model Checking. TACAS. https://hdl.handle.net/2078.5/61156