%0 Book %1 shyamasundar_95_semantics %A Shyamasundar, R. K. %A Ramesh, S. %D 1995 %J Lecture Notes in Computer Science : Hybrid Systems II %K 1995 semantics verification reactive_process csp %P 436--461 %R 10.1007/3-540-60472-3_23 %T Semantics and verification of hierarchical CRP programs %U http://dx.doi.org/10.1007/3-540-60472-3_23

@book{shyamasundar_95_semantics, added-at = {2009-02-12T11:03:49.000+0100}, author = {Shyamasundar, R. K. and Ramesh, S.}, biburl = {https://www.bibsonomy.org/bibtex/2d7480c8473a2744f2e2cdadf9c1ecce6/leonardo}, citeulike-article-id = {895843}, doi = {10.1007/3-540-60472-3_23}, interhash = {70cf2317b1f0c6a4363ea063de1ca0cf}, intrahash = {d7480c8473a2744f2e2cdadf9c1ecce6}, journal = {Lecture Notes in Computer Science : Hybrid Systems II}, keywords = {1995 semantics verification reactive_process csp}, pages = {436--461}, posted-at = {2006-10-13 19:00:22}, priority = {2}, timestamp = {2009-02-12T11:03:49.000+0100}, title = {Semantics and verification of hierarchical CRP programs}, url = {http://dx.doi.org/10.1007/3-540-60472-3_23}, year = 1995 }