Sampled Semantics of Timed Automata

DOI10.2168/LMCS-6(3:14)2010zbMath1214.68195arXiv1007.2783OpenAlexW3100372325MaRDI QIDQ2786131

Could not fetch data.

Publication date: 21 September 2010

Published in: (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1007.2783

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.