Modular State Level Analysis of Distributed Systems Techniques and Tool Support
Buchholz, Peter ; Kemper, Peter
Lecture notes in computer science, 1999, p.420-434
[Periódico revisado por pares]
Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível