Generalizing Action Systems to Hybrid Systems

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Back R, Petre L, Porres I
Editors: Joseph M
Publisher: Springer-Verlag
Publication year: 2000
Book title: 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000
Title of series: Lecture Notes in Computer Science
Volume number: 1926
Start page: 202
End page: 213

Last updated on 2019-18-09 at 06:42