Formal Service-Oriented Development of Fault Tolerant Communicating Systems
A3 Book section, Chapters in research books
Internal Authors/Editors
Publication Details
List of Authors: Laibinis L, Troubitsyna E, Leppänen S, Lilius J, Malik Q
Publisher: Springer Berlin / Heidelberg
Publication year: 2006
Book title: Rigorous Development of Complex Fault-Tolerant Systems
Title of series: Lecture Notes in Computer Science
Volume number: 4157
Start page: 261
End page: 287
ISBN: 978-3-540-48265-9