Formal Model-Driven Development of Communicating Systems

D4 Published development or research report or study

Internal Authors/Editors

Publication Details

List of Authors: Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
Publisher: Turku Centre for Computer Science (TUCS)
Publication year: 2005
Title of series: TUCS Technical Report
Number in series: 691
ISBN: 952-12-1564-X
ISSN: 1239-1891

Last updated on 2020-31-03 at 05:37