Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser
Analyzing Interaction Orderings with Model Checking
ASE, 2004.
@inproceedings{ASE-2004-DwyerRTV, author = "Matthew B. Dwyer and Robby and Oksana Tkachuk and Willem Visser", booktitle = "{Proceedings of the 19th IEEE International Conference on Automated Software Engineering}", doi = "10.1109/ASE.2004.10067", isbn = "0-7695-2131-2", pages = "154--163", publisher = "{IEEE Computer Society}", title = "{Analyzing Interaction Orderings with Model Checking}", year = 2004, }