Statecharts via process algebra
Title | Statecharts via process algebra |
Publication Type | Conference Papers |
Year of Publication | 1999 |
Authors | Liittgen G, Cleaveland R |
Conference Name | CONCUR'99: concurrency theory: 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999: proceedings |
Date Published | 1999/// |