Verifying Distributed Algorithms with Executable Creol Models

Publication details

  • Part of: PESARO 2011 The First International Conference on Performance, Safety and Robustness in Complex Systems and Applications, April 17-22, 2011, Budapest, Hungary (International Academy, Research and Industry Association (IARIA), 2011)