@article{10.1007/s100090050010,
    Address = {Berlin, Heidelberg},
    Author = {Larsen, Kim G. and Pettersson, Paul and Yi, Wang},
    File = {UPPAAL in a Nutshell - lpw-sttt97 - a - a - a - m.pdf},
    ISSN = {1433-2779},
    Journal = {Int. J. Softw. Tools Technol. Transf.},
    Keywords = {Key words: Modeling real-time systems --- Dynamic modeling --- Modeling tools --- Uppaal},
    Month = {December},
    Number = {1--2},
    Pages = {134--152},
    Publisher = {Springer-Verlag},
    Title = {Uppaal in a Nutshell},
    URL = {https://doi.org/10.1007/s100090050010},
    Volume = {1},
    Year = {1997},
    bdsk-url-1 = {https://doi.org/10.1007/s100090050010},
    date-added = {2020-01-31 17:56:36 +0100},
    date-modified = {2020-01-31 17:56:36 +0100},
    issue_date = {December 1997},
    numpages = {19},
    doi = {10.1007/s100090050010}
}

@article{10.1007/s100090050010, Address = {Berlin, Heidelberg}, Author = {Larsen, Kim G. and Pettersson, Paul and Yi, Wang}, File = {UPPAAL in a Nutshell - lpw-sttt97 - a - a - a - m.pdf}, ISSN = {1433-2779}, Journal = {Int. J. Softw. Tools Technol. Transf.}, Keywords = {Key words: Modeling real-time systems --- Dynamic modeling --- Modeling tools --- Uppaal}, Month = {December}, Number = {1--2}, Pages = {134--152}, Publisher = {Springer-Verlag}, Title = {Uppaal in a Nutshell}, URL = {https://doi.org/10.1007/s100090050010}, Volume = {1}, Year = {1997}, bdsk-url-1 = {https://doi.org/10.1007/s100090050010}, date-added = {2020-01-31 17:56:36 +0100}, date-modified = {2020-01-31 17:56:36 +0100}, issue_date = {December 1997}, numpages = {19}, doi = {10.1007/s100090050010} }