Superposition as a decision procedure for timed automata

DOI10.1007/s11786-012-0134-5zbMath1262.68159OpenAlexW2076908710MaRDI QIDQ1949086

Could not fetch data.

Publication date: 25 April 2013

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-012-0134-5

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.