Marcelo d'Amorim, Grigore Rosu
Efficient Monitoring of ω-Languages
CAV, 2005.
@inproceedings{CAV-2005-dAmorimR, author = "Marcelo d'Amorim and Grigore Rosu", booktitle = "{Proceedings of the 17th International Conference on Computer Aided Verification}", doi = "10.1007/11513988_36", isbn = "3-540-27231-3", pages = "364--378", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Efficient Monitoring of ω-Languages}", volume = 3576, year = 2005, }