%0 Journal Article %1 journals/fac/ChenDS09 %A Chen, Chunqing %A Dong, Jin Song %A Sun, Jun %D 2009 %J Formal Aspects Comput. %K dblp %N 5 %P 451-483 %T A formal framework for modeling and validating Simulink diagrams. %U http://dblp.uni-trier.de/db/journals/fac/fac21.html#ChenDS09 %V 21

@article{journals/fac/ChenDS09, added-at = {2022-05-09T00:00:00.000+0200}, author = {Chen, Chunqing and Dong, Jin Song and Sun, Jun}, biburl = {https://www.bibsonomy.org/bibtex/25f13f73a2abb48794c950d8d8faf732f/dblp}, ee = {https://doi.org/10.1007/s00165-009-0108-9}, interhash = {1c7926c9dccb98dbd9bd3baf8239492e}, intrahash = {5f13f73a2abb48794c950d8d8faf732f}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 5, pages = {451-483}, timestamp = {2024-04-09T05:37:56.000+0200}, title = {A formal framework for modeling and validating Simulink diagrams.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac21.html#ChenDS09}, volume = 21, year = 2009 }