%0 Conference Paper %1 conf/lop/KoymansSRGA85 %A Koymans, Ron %A Shyamasundar, R. K. %A de Roever, Willem P. %A Gerth, Rob %A Arun-Kumar, S. %B Logic of Programs %D 1985 %E Parikh, Rohit %I Springer %K dblp %P 167-189 %T Compositional Semantics for Real-time Distributed Computing. %U http://dblp.uni-trier.de/db/conf/lop/lop1985.html#KoymansSRGA85 %V 193 %@ 3-540-15648-8

@inproceedings{conf/lop/KoymansSRGA85, added-at = {2017-05-19T00:00:00.000+0200}, author = {Koymans, Ron and Shyamasundar, R. K. and de Roever, Willem P. and Gerth, Rob and Arun-Kumar, S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b92ec41477f1d6352198710e9e4e75ee/dblp}, booktitle = {Logic of Programs}, crossref = {conf/lop/1985}, editor = {Parikh, Rohit}, ee = {https://doi.org/10.1007/3-540-15648-8_14}, interhash = {1ffc9b54f6c72b4f3300660d06ca360e}, intrahash = {b92ec41477f1d6352198710e9e4e75ee}, isbn = {3-540-15648-8}, keywords = {dblp}, pages = {167-189}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:41:06.000+0200}, title = {Compositional Semantics for Real-time Distributed Computing.}, url = {http://dblp.uni-trier.de/db/conf/lop/lop1985.html#KoymansSRGA85}, volume = 193, year = 1985 }