UPPAAL: Status & Developments.

Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Browse the full CAV paper archive.