| 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