C. Bellettini, M. Felder, and M. Pezzè. Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on, page 110--119. IEEE Computer Society, (December 1993)
C. Bellettini, and L. Capra. Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings. The IEEE Computer Society's 12th Annual International Symposium on, page 560-568. IEEE Computer Society, (October 2004)
L. Capra, and C. Bellettini. SYNASC, International Symposium on Symbolic for Scientific Computation, Numeric Algorithms, page 345--353. Timişoara, Ed. Mirton, (2004)
C. Bellettini, and L. Capra. Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on, page 110-117. IEEE Computer Society, (September 2011)
C. Bellettini, M. Camilli, L. Capra, and M. Monga. Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2012 14th International Symposium on, page 295-302. IEEE Computer Society, (September 2012)
C. Bellettini, M. Camilli, L. Capra, and M. Monga. Reachability Problems, volume 8169 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2013)