IST-1999-29082

English

Bouajjani Ahmed - principal person responsible

MATOUŠEK, P. Tools for Parametric Verification: A Comparison on a Case Study. In Proceedings of the 5th Joint Workshop on FSCBS. Stirling: University of Stirling, 2004. p. 45-55. ISBN: 1-85769-197-0.
Detail

MATOUŠEK, P. A New Data Structure Based on Intervals. In Proceedings of MOVEP'04. Bruxelles: 2004. p. 16-21.
Detail

MATOUŠEK, P., SIGHIREANU, M. Parametric Analysis of PGM protocol. Advance meeting, Paris: 2004.
Detail

MATOUŠEK, P. Tools for Parametric Verification. A Comparison on a Case Study. Journal of Universal Computer Science, 2004, vol. 10, no. 10, p. 1469-1495. ISSN: 0948-6968.
Detail

BOUAJJANI, A., HABERMEHL, P., VOJNAR, T. Abstract Regular Model Checking. Lecture Notes in Computer Science, 2004, vol. 2004, no. 3114, p. 372-386. ISSN: 0302-9743.
Detail

http://verif.liafa.jussieu.fr/~haberm/ADVANCE/main.html