unset title
>
Contact_plural
>
Ortiz
login
login
password
log in
cancel
search
Ortiz
lastname
Ortiz
firstname
James
speakers_object
Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems
An Alternative (Multi-timed) Semantics for Modelling the Behaviour of Distributed Timed Systems