Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 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 ***
2004
van der Schaft, A.J.
(2004)
Bisimulation of dynamical systems.
In:
Hybrid Systems: Computation and Control.
Lecture Notes in Computer Science 2993.
Springer Verlag, Berlin, pp. 555-569.
ISSN 0302-9743
ISBN 978-3-540-21259-1
This list was generated on Thu May 24 05:21:48 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||