On some Relations between Dynamical Systems and Transition Systems (1994)

by Eugene Asarin , Oded Maler
Venue:In Proceedings of ICALP
Citations:32 - 4 self