J. Martins, A. Pinto, and N. Stollenwerk. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
G. Sonnino, P. Peeters, and F. Zonca. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
W. Janssen, M. Poel, J. Zwiers, and Q. Xu. Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1994)
F. Leyvraz, H. Larralde, and D. Sanders. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)