Verification of timed chi models using uppaal.

Elena M. Bortnik, D. A. van Beek, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda

Browse the full ICINCO paper archive.