Bruni, Roberto
[HerausgeberIn];
Dingel, Juergen
[Sonstige Person, Familie und Körperschaft]
;
FMOODS 13 2011 Reykjavík,
FORTE 31 2011 Reykjavík
Formal techniques for distributed systems
: joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011 ; ; proceedings
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Formal techniques for distributed systems
:
joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011 ; ; proceedings
Anmerkungen:
Die auf der Haupttitelseite angegebene Zählung für die Konferenz FORTE ist nicht korrekt. Richtig ist 31th International Conference on Formal Techniques for Networked and Distributed Systems
Literaturangaben