@inproceedings{ESEC-FSE-2009-HannaBR,
author = "Youssef Hanna and Samik Basu and Hridesh Rajan",
booktitle = "{Proceedings of the Seventh joint meeting of the 12th European Software Engineering Conference and the 17th International Symposium on Foundations of Software Engineering}",
doi = "10.1145/1595696.1595758",
editor = "Hans van Vliet and Valérie Issarny",
isbn = "978-1-60558-001-2",
pages = "325--334",
publisher = "{ACM}",
title = "{Behavioral automata composition for automatic topology independent verification of parameterized systems}",
year = 2009,
}
Tags: