Behrmann G, Fehnker A, Hune TS, Larsen KG, Pettersson P, Romijn J. Efficient Guiding Towards Cost-Optimality in UPPAAL. BRICS [Internet]. 4. januar 2001 [henvist 16. august 2024];8(4). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20458