Verifying Distributed Algorithms with Executable Creol Models Publikasjonsdetaljer Arrangement: (Budapest) År: 2011 Arrangør: IARIA Du er her: Hjem Publikasjoner Vitenskapelig foredrag Verifying Distributed Algorithms with Executable Creol Models