Verifying Distributed Algorithms with Executable Creol Models Publication details Event: (Budapest) Year: 2011 Organiser: IARIA You are here: Home Publications Scientific lecture Verifying Distributed Algorithms with Executable Creol Models