"Modelling and Reasoning about Dynamic Networks as Concurrent Systems."

Yanti Rusmawati, David E. Rydeheard (2013)

Details and statistics

DOI: 10.4230/OASICS.FSFMA.2013.80

access: open

type: Conference or Workshop Paper

metadata version: 2018-08-23

a service of  Schloss Dagstuhl - Leibniz Center for Informatics