BibTeX entry
@inproceedings{Berhmann_2840:2001, author = {Gerd Berhmann and Ansgar Fehnker and Thomas Hune and Kim Guldstrand Larsen and Paul Pettersson and Judi Romijn}, title = {Guiding and Cost-Optimality in UPPAAL, }, booktitle = {the 2001 AAAI Spring Symposium Series: Model-Based Validation of Intelligence.}, month = {May}, year = {2001}, url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2840}, } |