Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 : proceedings
International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software
Bok Engelsk 1997