%0 Journal Article %1 journals/sttt/HamonR07 %A Hamon, Grégoire %A Rushby, John M. %D 2007 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 5-6 %P 447-456 %T An operational semantics for Stateflow. %U http://dblp.uni-trier.de/db/journals/sttt/sttt9.html#HamonR07 %V 9

@article{journals/sttt/HamonR07, added-at = {2020-04-02T00:00:00.000+0200}, author = {Hamon, Grégoire and Rushby, John M.}, biburl = {https://www.bibsonomy.org/bibtex/2dfdec13a124dd058378b8cf8462de04e/dblp}, ee = {https://doi.org/10.1007/s10009-007-0049-7}, interhash = {7065f4b379151b472a4aaf1350265272}, intrahash = {dfdec13a124dd058378b8cf8462de04e}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = {5-6}, pages = {447-456}, timestamp = {2020-04-03T11:55:03.000+0200}, title = {An operational semantics for Stateflow.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt9.html#HamonR07}, volume = 9, year = 2007 }