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 2020-04-08 at 07:17