Biblio

List
Filter

Export 2 results:

Sort by: Author Title Type [ Year

]

Filters: Author is J. Bengtsson [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.

2003

Bengtsson, J., and W. Yi, "Timed Automata: Semantics, Algorithms and Tools", Lectures on Concurrency and Petri Nets, vol. 3098: Springer, pp. 87-124, 2003.