Vincent Cheval
APTE: An Algorithm for Proving Trace Equivalence
TACAS, 2014.
@inproceedings{TACAS-2014-Cheval, author = "Vincent Cheval", booktitle = "{Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/978-3-642-54862-8_50", isbn = "978-3-642-54861-1", pages = "587--592", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{APTE: An Algorithm for Proving Trace Equivalence}", volume = 8413, year = 2014, }