Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mallouli, Mounir Lallali. Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. In David Roberts, Abdulmotaleb El-Saddik, Alois Ferscha, editors, 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 27-29 October 2008, Vancouver, BC, Canada, Proceedings. pages 315-318, IEEE Computer Society, 2008. [doi]
Abstract is missing.