Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/tacas/BehrmannF01
%A Behrmann, Gerd
%A Fehnker, Ansgar
%A Hune, Thomas
%A Larsen, Kim G.
%A Pettersson, Paul
%A Romijn, Judi
%B TACAS
%D 2001
%E Margaria, Tiziana
%E Yi, Wang
%I Springer
%K dblp
%P 174-188
%T Efficient Guiding Towards Cost-Optimality in UPPAAL.
%U http://dblp.uni-trier.de/db/conf/tacas/tacas2001.html#BehrmannF01
%V 2031
%@ 3-540-41865-2
@inproceedings{conf/tacas/BehrmannF01,
added-at = {2023-03-21T00:00:00.000+0100},
author = {Behrmann, Gerd and Fehnker, Ansgar and Hune, Thomas and Larsen, Kim G. and Pettersson, Paul and Romijn, Judi},
biburl = {https://www.bibsonomy.org/bibtex/222bba142ee8626cba227c62bd9bfe148/dblp},
booktitle = {TACAS},
crossref = {conf/tacas/2001},
editor = {Margaria, Tiziana and Yi, Wang},
ee = {https://doi.org/10.1007/3-540-45319-9_13},
interhash = {d06d6132ced00cd09f54dab062b9c4f9},
intrahash = {22bba142ee8626cba227c62bd9bfe148},
isbn = {3-540-41865-2},
keywords = {dblp},
pages = {174-188},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T16:31:34.000+0200},
title = {Efficient Guiding Towards Cost-Optimality in UPPAAL.},
url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2001.html#BehrmannF01},
volume = 2031,
year = 2001
}