Analyzing interaction orderings with model checking (2004)

by Matthew B. Dwyer , Oksana Tkachuk , Willem Visser
Venue:In Proc. of ASE 2004
Citations:9 - 2 self