Verifying Distributed Algorithms with Executable Creol Models

Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf; Griesmayer, Andreas

April 17, 2011

DART

• Published date: April 17, 2011
• Publisher: IARIA
• Refereed: 1
• Conference: PESARO 2011 Conference, Budapest, Hungary
• Page(s): 1-6
• Journal: http://www.thinkmind.org/index.php?view=article&articleid=pesaro_2011_1_10_70005
• Name and number of project: CREDO
• Volume/number:
• Title: Verifying Distributed Algorithms with Executable Creol Models
• Author(s): Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf; Griesmayer, Andreas
• ISBN: 978-1-61208-005-5
• Book title: Proc. NexComm 2011
• Editor: