Formal techniques for distributed systems: joint 13th IFIP WG 6.1 international conference, …
by Bruni, Roberto, Dingel, Juergen, IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems, FMOODS, Reykjavik, Iceland), IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE, Reykjavik, Iceland)
fromLecture Notes in Computer Science
0
Type: Book