%0 Journal Article %1 journals/jcss/ReifS85 %A Reif, John H. %A Sistla, A. Prasad %D 1985 %J J. Comput. Syst. Sci. %K dblp %N 1 %P 41-53 %T A Multiprocess Network Logic with Temporal and Spatial Modalities. %U http://dblp.uni-trier.de/db/journals/jcss/jcss30.html#ReifS85 %V 30

@article{journals/jcss/ReifS85, added-at = {2011-07-05T00:00:00.000+0200}, author = {Reif, John H. and Sistla, A. Prasad}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20cdab34e3235fd37a171e78c0fa92591/dblp}, ee = {http://dx.doi.org/10.1016/0022-0000(85)90003-0}, interhash = {3da54d12b5afac592a078354cf5fd2b8}, intrahash = {0cdab34e3235fd37a171e78c0fa92591}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 1, pages = {41-53}, timestamp = {2016-02-02T06:42:19.000+0100}, title = {A Multiprocess Network Logic with Temporal and Spatial Modalities.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss30.html#ReifS85}, volume = 30, year = 1985 }