"On Improving Backwards Verification of Timed Automata."

Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero (2002)

Details and statistics

DOI: 10.1016/S1571-0661(04)80469-9

access: open

type: Journal Article

metadata version: 2021-02-12

a service of  Schloss Dagstuhl - Leibniz Center for Informatics