Hamon, G. and Rushby, J. (2007) An Operational Semantics for Stateflow. International Journal on Software Tools for Technology Transfer, 9, 447-456. http://dx.doi.org/10.1007/s10009-007-0049-7
has been cited by the following article:
Related Articles: