KNAW

Publication

As cheap as possible : efficient cost-optimal reachability for priced timed automata (2001)

Pagina-navigatie:
Title As cheap as possible : efficient cost-optimal reachability for priced timed automata
Author Larsen, KG Kim; Behrmann, G Gerd; Brinksma, E Ed; Fehnker, A Ansgar; Hune, T; Pettersson, P Paul; Romijn, JMT Judi
Date 2001
Publisher Springer
Rights Copyright (c) Larsen, KG Kim; Copyright (c) Behrmann, G Gerd; Copyright (c) Brinksma, E Ed; Copyright (c) Fehnker, A Ansgar; Copyright (c) Hune, T; Copyright (c) Pettersson, P Paul; Copyright (c) Romijn, JMT Judi
Publication http://repository.tue.nl/668341
Persistent Identifier URN:NBN:NL:UI:25-668341
Metadata XML
Repository Eindhoven University of Technology

Go to page top
Go back to contents
Go back to site navigation