C. Bellettini, L. Capra, and M. Monga. Proceedings of the Workshop on Cooperative Support
for Distributed Software Engineering Processes
(CSSE'04), page 15--26. Austrian Computer Society, (September 2004)
C. Bellettini, M. Camilli, L. Capra, and M. Monga. Proceedings of 7th International Workshop on
Reachability Problems (RP 2013), volume 8169 of Lecture Notes in Computer Science, page 83--95. Heidelberg, Springer, (September 2013)
C. Bellettini, M. Camilli, L. Capra, and M. Monga. Proceedings of the 14th International Symposium on
Symbolic and Numeric Algorithms for Scientific
Computing (SYNASC 2012), page 295--302. Timisoara, Romania, IEEE CS, IEEE Computer Society, (September 2012)