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