Dirk Beyer

1 published title

Formal techniques for distributed systems : joint IFIP WG 6.1 international conferences, FMOODS 2013 and FORTE 2013, held as part of the 8th international federated conference on distributed computing

(Contributor)

1 edition