Actively learning to verify safety for fifo automata
By
BibTeX
@inproceedings{conf/fsttcs/VardhanSVA04, author = "Vardhan, Abhay and Sen, Koushik and Viswanathan, Mahesh and Agha, Gul", editor = "Lodaya, Kamal and Mahajan, Meena", title = "Actively Learning to Verify Safety for FIFO Automata", booktitle = "FSTTCS", crossref = "conf/fsttcs/2004", ee = "http://dx.doi.org/10.1007/978-3-540-30538-5_41", keywords = "formal methods", pages = "494-505", year = "2004", } @proceedings{conf/fsttcs/2004, editor = "Lodaya, Kamal and Mahajan, Meena", title = "FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings", isbn = "3-540-24058-6", publisher = "Springer", series = "Lecture Notes in Computer Science", volume = "3328", year = "2004", }