Home

Biblio

Export 1 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is A. Fehnker  [Clear All Filters]
2001
Amnell, T., G. Behrmann, J. Bengtsson, P. R. D'argenio, A. David, A. Fehnker, T. Hune, B. Jeannet, K. G. Larsen, M. O. Möller, et al., "UPPAAL: Now, Next, and Future", Modeling and Verification of Parallel Processes: Springer, pp. 99-124, 2001.