Xiaochuan Yi, Krys Kochut. JCPNet tool and automated analysis of distributed systems. In Mário Guimarães, editor, Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, Alabama, USA, March 18-20, 2005, Volume 2. pages 327-332, ACM, 2005. [doi]
Abstract is missing.