Jason Baumgartner, Hari Mony
Scalable liveness checking via property-preserving transformations
DATE, 2009.
@inproceedings{DATE-2009-BaumgartnerM, author = "Jason Baumgartner and Hari Mony", booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}", pages = "1680--1685", publisher = "{IEEE}", title = "{Scalable liveness checking via property-preserving transformations}", year = 2009, }