Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2001
Larsen, K.G. and Behrmann, G. and Brinksma, H. and Fehnker, A. and Petterson, P. and Romijn, J.M.T.
(2001)
As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata.
In: Computer Aided Verification, 13th International Conference, CAV 2001, July 18-22, 2001, Paris, France.
pp. 493-505.
Lecture Notes in Computer Science.
Springer Verlag.
ISBN 3-540-42345-1
This list was generated on Thu May 24 05:32:53 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||