Using SDL Tools to Test Properties of Distributed Systems (2001)

by H Hallal, A Petrenko, A Ulrich, S Boroday
Venue:Formal Approaches to Testing of Software — FATES ‘01