Formal Service-Oriented Development of Fault Tolerant Communicating Systems

L Laibinis, E Troubitsyna, S Leppänen, Johan Lilius, Q Malik

Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Rigorous Development of Complex Fault-Tolerant Systems
Publisher	Springer Berlin / Heidelberg
Pages	261–287
ISBN (Print)	978-3-540-48265-9
Publication status	Published - 2006
MoE publication type	A3 Part of a book or another research book

Cite this

@inbook{28f63cfca6c64f15b523851ffdf1cfbd,

title = "Formal Service-Oriented Development of Fault Tolerant Communicating Systems",

author = "L Laibinis and E Troubitsyna and S Lepp{\"a}nen and Johan Lilius and Q Malik",

year = "2006",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-540-48265-9",

pages = "261–287",

booktitle = "Rigorous Development of Complex Fault-Tolerant Systems",

publisher = "Springer Berlin / Heidelberg",

}