Items where Author is "Nguyen, HN"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Monograph
Number of items: 1.
Monograph
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)