Dilia E. Rodríguez
Combining Techniques to Reduce State Space and Prove Strong Properties
WRLA, 2009.
@article{WRLA-2008-Rodriguez09, author = "Dilia E. Rodríguez", doi = "10.1016/j.entcs.2009.05.024", journal = "{Electronic Notes in Theoretical Computer Science}", number = 3, pages = "267--280", title = "{Combining Techniques to Reduce State Space and Prove Strong Properties}", volume = 238, year = 2009, }