On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

Morten Kühnrich, Uwe Nestmann

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citationer (Scopus)
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind5522
Sider (fra-til)198-212
ISSN0302-9743
DOI
StatusUdgivet - 2009
BegivenhedIFIP Formal Techniques for Networked and Distributed Systems/11th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems - Lisbon, Portugal
Varighed: 9 jun. 200912 sep. 2009
Konferencens nummer: 29th

Konference

KonferenceIFIP Formal Techniques for Networked and Distributed Systems/11th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems
Nummer29th
LandPortugal
ByLisbon
Periode09/06/200912/09/2009

Bibliografisk note

Titel:
Formal Techniques for Distributed Systems, Proceedings

Oversat titel:


Oversat undertitel:


Forlag:
Springer

ISBN (Trykt):
978-3-642-02137-4

ISBN (Elektronisk):


Publikationsserier:
Lecture Notes in Computer Science, 0302-9743, 5522

Citationsformater