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 2019-23-09 at 03:47