Items where Author is "Moler, F"
![]() | Up a level |
Group by: Item Type | No Grouping
Number of items: 1.
Moler, F, Nguyen, HN, Roggenbach, M, Schneider, SA and Treharne, H (2012) Combining event-based and state-based modelling for railway verification Technical Report. (Unpublished)
