Concurrent Scheduling of Event-B Models

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Editors: Derrick J, Boiten EA, Reeves S
Publisher: Open Publishing Association
Publication year: 2011
Journal: Electronic Proceedings in Theoretical Computer Science
Publisher: Open Publishing Association
Book title: Proceedings 15th International Refinement Workshop
Title of series: Electronic Proceedings in Theoretical Computer Science
Number in series: 55
Start page: 166
End page: 182
ISSN: 2075-2180

Last updated on 2019-20-10 at 04:15