Handling Liveness Properties in (<i>omega</i>-)Regular Model Checking.

DIAL.pr - BOREAL

Accès à distance ? S'identifier sur le proxy UCLouvain

Primary tabs

Bouajjani, Ahmed Legay, Axel Wolper, Pierre

Document type	Article de périodique (Journal article)
Publication date	2005
Language	Anglais
Journal information	"Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings" - Vol. 138, no.3, p. 101-115 (2005)
Publisher	Springer (Berlin Heidelberg)
Publication status	Soumis
Affiliation	UCL - SST/ICTM - Institute of Information and Communication Technologies, Electronics and Applied Mathematics
Links	https://doi.org/https://doi.org/10.1016/j.entcs.2005.02.061[DOI] https://doi.org/10.1016/j.entcs.2005.02.061[DOI] http://hdl.handle.net/2078.1/217306[Handle]

Bibliographic reference	Bouajjani, Ahmed ; Legay, Axel ; Wolper, Pierre. Handling Liveness Properties in (omega-)Regular Model Checking.. In: Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings, Vol. 138, no.3, p. 101-115 (2005)
Permanent URL	http://hdl.handle.net/2078.1/217306