On regions and zones for event-clock automata
Crossref DOI link: https://doi.org/10.1007/s10703-014-0212-1
Published Online: 2014-08-06
Published Print: 2014-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Geeraerts, Gilles
Raskin, Jean-François
Sznajder, Nathalie
Text and Data Mining valid from 2014-08-06