Eugene Asarin, Oded Maler
On some Relations between Dynamical Systems and Transition Systems
ICALP, 1994.
@inproceedings{ICALP-1994-AsarinM,
author = "Eugene Asarin and Oded Maler",
booktitle = "{Proceedings of the 21st International Colloquium on Automata, Languages and Programming}",
doi = "10.1007/3-540-58201-0_58",
isbn = "3-540-58201-0",
pages = "59--72",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{On some Relations between Dynamical Systems and Transition Systems}",
volume = 820,
year = 1994,
}