Filters: Author is Teodor Rus  [Clear All Filters]
1997
P. R. D'Argenio, Regular Processes and Timed Automata, 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, vol. 1231. Springer, pp. 141-155, 1997.PDF icon paper-215.pdf (844.99 KB)