|
Analyzing Interaction Orderings with Model Checking |
- Analyzing Interaction Orderings with Model Checking, April 2004.
Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser.
In the Proceedings of the Nineteenth IEEE International Conference on Automated Software Engineering (ASE 2004).
Technical Report, SAnToS-TR2004-1.
pdf (Last updated: April 14, 2004). BEG website
|
