Reactive Animation

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39656-7_5 ◽

2003 ◽

pp. 136-153 ◽

Cited By ~ 11

Author(s):

David Harel ◽

Sol Efroni ◽

Irun R. Cohen

Download Full-text