Refinement-Based Development of Timed Systems

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Berthing J, Boström P, Sere K, Tsiopoulos L, Vain J
Editors: Derrick J, Gnesi S, Latella D, Treharne H
Publisher: Springer, Heidelberg
Publication year: 2012
Publisher: Springer
Book title: Integrated Formal Methods
Title of series: Lecture Notes in Computer Science
Number in series: 7321
Start page: 69
End page: 83
ISBN: 978-3-642-30728-7

Last updated on 2019-26-08 at 04:57