Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is Statecharts  [Clear All Filters]
2005
Ray A, Cleaveland R, Skou A.  2005.  An Algebraic Theory Of Boundary Crossing Transitions. Electronic Notes in Theoretical Computer Science. 115:69-88.