@inproceedings{f48847b0a26911dc8188000ea68e967b,
title = "UPPAAL-TIGA: Time for Playing Games!",
author = "Alexandre David and Gerd Behrmann and Agn{\`e}s Cougnard and Emmanuel Fleury and Larsen, {Kim Guldstrand} and Didier Lime",
year = "2007",
language = "English",
isbn = "978-3-540-73367-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "4590",
pages = "121--125",
booktitle = "Computer Aided Verification",
address = "Germany",
note = "Computer Aided Verification ; Conference date: 03-07-2007 Through 07-07-2007",
}