@inproceedings{UPPAAL4,
    Address = {Washington, DC, USA},
    Author = {Behrmann, Gerd and David, Alexandre and Larsen, Kim G. and Hakansson, John and Petterson, Paul and Yi, Wang and Hendriks, Martijn},
    BookTitle = {Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems},
    File = {UPPAAL 4.0 - Behrmann, David, Larsen, Hakansson, Petterson, Yi, Hendriks (1) (0) - a - a - z.pdf},
    ISBN = {0-7695-2665-9},
    Pages = {125--126},
    Publisher = {IEEE Computer Society},
    Series = {QEST '06},
    Title = {UPPAAL 4.0},
    URL = {http://dx.doi.org/10.1109/QEST.2006.59},
    Year = {2006},
    acmid = {1173968},
    bdsk-url-1 = {http://dx.doi.org/10.1109/QEST.2006.59},
    date-added = {2013-10-15 14:08:13 +0000},
    date-modified = {2013-10-15 14:09:31 +0000},
    file-2 = {UPPAAL 4.0 - Behrmann, David, Larsen, Hakansson, Petterson, Yi, Hendriks (0) (0) - a - a - z.pdf},
    file-3 = {UPPAAL 4.0 - Behrmann, David, Larsen, Hakansson, Petterson, Yi, Hendriks (2) (0) - a - a - z.pdf},
    numpages = {2},
    doi = {10.1109/QEST.2006.59}
}

@inproceedings{UPPAAL4, Address = {Washington, DC, USA}, Author = {Behrmann, Gerd and David, Alexandre and Larsen, Kim G. and Hakansson, John and Petterson, Paul and Yi, Wang and Hendriks, Martijn}, BookTitle = {Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems}, File = {UPPAAL 4.0 - Behrmann, David, Larsen, Hakansson, Petterson, Yi, Hendriks (1) (0) - a - a - z.pdf}, ISBN = {0-7695-2665-9}, Pages = {125--126}, Publisher = {IEEE Computer Society}, Series = {QEST '06}, Title = {UPPAAL 4.0}, URL = {http://dx.doi.org/10.1109/QEST.2006.59}, Year = {2006}, acmid = {1173968}, bdsk-url-1 = {http://dx.doi.org/10.1109/QEST.2006.59}, date-added = {2013-10-15 14:08:13 +0000}, date-modified = {2013-10-15 14:09:31 +0000}, file-2 = {UPPAAL 4.0 - Behrmann, David, Larsen, Hakansson, Petterson, Yi, Hendriks (0) (0) - a - a - z.pdf}, file-3 = {UPPAAL 4.0 - Behrmann, David, Larsen, Hakansson, Petterson, Yi, Hendriks (2) (0) - a - a - z.pdf}, numpages = {2}, doi = {10.1109/QEST.2006.59} }