Filters: Author is Miquel Bertran [Clear All Filters]
“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. paper-215.pdf (844.99 KB)
,