Accepting zeno words: A way toward timed refinements
From MaRDI portal
Publication:1581898
DOI10.1007/s002360050003zbMath0957.68053OpenAlexW2053941852MaRDI QIDQ1581898
Claudine Picaronny, Béatrice Bérard
Publication date: 10 October 2000
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002360050003
Related Items
Timed substitutions for regular signal-event languages, Quantitative temporal logics over the reals: PSpace and below, A Kleene theorem for splitable signals
