%0 Journal Article %1 journals/mscs/TripakisSSL13 %A Tripakis, Stavros %A Stergiou, Christos %A Shaver, Chris %A Lee, Edward A. %D 2013 %J Math. Struct. Comput. Sci. %K %N 4 %P 834-881 %T A modular formal semantics for Ptolemy. %U http://dblp.uni-trier.de/db/journals/mscs/mscs23.html#TripakisSSL13 %V 23

@article{journals/mscs/TripakisSSL13, added-at = {2023-12-13T03:37:49.000+0100}, author = {Tripakis, Stavros and Stergiou, Christos and Shaver, Chris and Lee, Edward A.}, biburl = {https://www.bibsonomy.org/bibtex/2e9e2d75d8c8251feef3333b42b3f312f/admin}, ee = {https://doi.org/10.1017/S0960129512000278}, interhash = {8d5277a038134824bc842651aba5d019}, intrahash = {e9e2d75d8c8251feef3333b42b3f312f}, journal = {Math. Struct. Comput. Sci.}, keywords = {}, number = 4, pages = {834-881}, timestamp = {2023-12-13T03:37:49.000+0100}, title = {A modular formal semantics for Ptolemy.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs23.html#TripakisSSL13}, volume = 23, year = 2013 }