On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

Morten Kühnrich, Uwe Nestmann

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)
Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume5522
Pages (from-to)198-212
ISSN0302-9743
DOIs
Publication statusPublished - 2009
EventIFIP Formal Techniques for Networked and Distributed Systems/11th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems - Lisbon, Portugal
Duration: 9 Jun 200912 Sep 2009
Conference number: 29th

Conference

ConferenceIFIP Formal Techniques for Networked and Distributed Systems/11th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems
Number29th
CountryPortugal
CityLisbon
Period09/06/200912/09/2009

Cite this