Developing Control Systems Components

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Petre L, Sere K
Editors: Grieskamp W, Santen T, Stoddart B
Publisher: Springer-Verlag
Publication year: 2000
Book title: 2nd International Conference on Integrated Formal Methods, IFM'2000
Title of series: Lecture Notes in Computer Science
Volume number: 1945

Last updated on 2020-26-05 at 05:57