Login / Signup

Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking.

Bozena Wozna-SzczesniakAndrzej Zbrzezny
Published in: Fundam. Informaticae (2014)
Keyphrases