Using SDL Tools to Test Properties of Distributed Systems

by Hesham Hallal , Alex Petrenko , Andreas Ulrich , Sergiy Boroday
Venue:in Proc. of Formal Approches to Testing of Software (FATES’01), Workshop of the Int. Conference on Concurrency Theory (CONCUR’01
Citations:9 - 6 self