Timed automata and additive clock constraints
From MaRDI portal
Publication:1583056
DOI10.1016/S0020-0190(00)00075-2zbMATH Open0953.68565OpenAlexW2039039881MaRDI QIDQ1583056
Author name not available (Why is that?)
Publication date: 26 October 2000
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0020-0190(00)00075-2
No records found.
No records found.
This page was built for publication: Timed automata and additive clock constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583056)
