Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings
Carbonell, Jaime G ; Siekmann, Jörg ; Goos, G ; Massinek, Mieke Massink, Mieke ; Gerth, Rob ; Leue, Stefan ; Dams, Dennis
Berlin, Heidelberg: Springer Berlin / Heidelberg 1999
Texto completo disponível