SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata.

Janusz Malinowski, Peter Niebert

Browse the full TACAS paper archive.