Transformation-Based Reactive Systems Development: Proc./4th Intern. AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS 97. Palma, Mallorca, Spain, May 1997

А3.54, А3.45, Б2.4, Б3.33.

Transformation-Based Reactive Systems Development: Proc./4th Intern. AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS 97. Palma, Mallorca, Spain, May 1997Ed. by Bertran M., Rus T..-Berlin, Heidelberg.: Springer, 1997.-Vol. 1231.-431 p.-(Lecture Notes in Computer Science).