Partial list of contents of
Hybrid and Real-Time Systems
Conference year 1997
c-hart-97-3
Erik Sandewall:
Relating high-level and low-level action descriptions in a logic of actions and change.
Pages 3-17.
30-Jul-97 12:05