• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Service-Oriented Development of Fault Tolerant Communicating Systems

Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik, Formal Service-Oriented Development of Fault Tolerant Communicating Systems. In: Rigorous Development of Complex Fault-Tolerant Systems, Lecture Notes in Computer Science 4157, 261–187, Springer Berlin / Heidelberg, 2006.

BibTeX entry:

@INBOOK{cLaTrLeLiMa06a,
  title = {Formal Service-Oriented Development of Fault Tolerant Communicating Systems},
  booktitle = {Rigorous Development of Complex Fault-Tolerant Systems},
  author = {Laibinis, Linas and Troubitsyna, Elena and Leppänen, Sari and Lilius, Johan and Malik, Qaisar},
  volume = {4157},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer Berlin / Heidelberg},
  pages = {261–187},
  year = {2006},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab), Embedded Systems Laboratory (ESLAB)

Publication Forum rating of this publication: level 1

Edit publication