Verifying Distributed Algorithms with Executable Creol Models

Publication details