UPPAAL Implementation Secrets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi. UPPAAL Implementation Secrets. In Werner Damm, Ernst-Rüdiger Olderog, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings. Volume 2469 of Lecture Notes in Computer Science, pages 3-22, Springer, 2002. [doi]

This 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 'Alexandre David' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in GoogleThis author has not been identified. Look up 'Paul Pettersson' in GoogleThis author has not been identified. Look up 'Wang Yi' in Google

runs on WebDSL