The following pages link to S. Zennou (Q2575732):
Displayed 6 items.
- A partial order semantics approach to the clock explosion problem of timed automata (Q2575733) (← links)
- (Q4472255) (← links)
- (Q4738481) (← links)
- (Q4791271) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308414) (← links)
- Static Analysis by Policy Iteration on Relational Domains (Q5756499) (← links)