Formal Service-Oriented Development of Fault Tolerant Communicating Systems

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Laibinis L, Troubitsyna E, Leppänen S, Lilius J, Malik Q
Publisher: Turku Centre for Computer Science
Publication year: 2006

Last updated on 2020-29-03 at 04:10