Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2008
Bouyer, P. and Brinksma, H. and Larsen, K.G.
(2008)
Optimal infinite scheduling for multi-priced timed automata.
Formal Methods in System Design, 32 (1).
pp. 3-23.
ISSN 0925-9856
*** ISI Impact 1,132 ***
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||