Verifying Distributed Algorithms with Executable Creol Models

Publikasjonsdetaljer