UPPAAL - Now, Next, and Future - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi. UPPAAL - Now, Next, and Future. In Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan, editors, Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Volume 2067 of Lecture Notes in Computer Science, pages 99-124, Springer, 2000. [doi]

This author has not been identified. Look up 'Tobias Amnell' in GoogleThis author has not been identified. Look up 'Gerd Behrmann' in GoogleThis author has not been identified. Look up 'Johan Bengtsson' in GoogleThis author has not been identified. Look up 'Pedro R. D Argenio' in GoogleThis author has not been identified. Look up 'Alexandre David' in GoogleThis author has not been identified. Look up 'Ansgar Fehnker' in GoogleThis author has not been identified. Look up 'Thomas Hune' in GoogleThis author has not been identified. Look up 'Bertrand Jeannet' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in GoogleThis author has not been identified. Look up 'M. Oliver Möller' in GoogleThis author has not been identified. Look up 'Paul Pettersson' in GoogleThis author has not been identified. Look up 'Carsten Weise' in GoogleThis author has not been identified. Look up 'Wang Yi' in Google

runs on WebDSL