Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci
FAST: Fast Acceleration of Symbolikc Transition Systems
CAV, 2003.
@inproceedings{CAV-2003-BardinFLP, author = "Sébastien Bardin and Alain Finkel and Jérôme Leroux and Laure Petrucci", booktitle = "{Proceedings of the 15th International Conference on Computer Aided Verification}", doi = "10.1007/978-3-540-45069-6_12", isbn = "3-540-40524-0", pages = "118--121", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{FAST: Fast Acceleration of Symbolikc Transition Systems}", volume = 2725, year = 2003, }