The following pages link to Jacob Illum Rasmussen (Q2474053):
Displaying 8 items.
- (Q853728) (redirect page) (← links)
- On using priced timed automata to achieve optimal scheduling (Q853729) (← links)
- Optimal reachability for multi-priced timed automata (Q2474054) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308409) (← links)
- Almost Optimal Strategies in One Clock Priced Timed Games (Q5385998) (← links)
- Foundations of Software Science and Computational Structures (Q5705878) (← links)
- Formal Methods for Components and Objects (Q5897450) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897955) (← links)
