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

by H Hallal, A Petrenko, A Ulrich, S Boroday
Venue:In Proc. of the Formal Approches to Testing of Software (FATES’01), Workshop of the International Conference on Concurrency Theory (CONCUR’01