%0 Journal Article %1 journals/jss/BabaogluFR96 %A Babaoglu, Özalp %A Fromentin, Eddy %A Raynal, Michel %D 1996 %J J. Syst. Softw. %K dblp %N 3 %P 287-298 %T A unified framework for the specification and run-time detection of dynamic properties in distributed computations. %U http://dblp.uni-trier.de/db/journals/jss/jss33.html#BabaogluFR96 %V 33

@article{journals/jss/BabaogluFR96, added-at = {2020-02-24T00:00:00.000+0100}, author = {Babaoglu, Özalp and Fromentin, Eddy and Raynal, Michel}, biburl = {https://www.bibsonomy.org/bibtex/28bf54cad6377e753a7f9dac50c17f6b7/dblp}, ee = {https://www.wikidata.org/entity/Q59491557}, interhash = {d79e5e117079b8c912166a7cf128ad82}, intrahash = {8bf54cad6377e753a7f9dac50c17f6b7}, journal = {J. Syst. Softw.}, keywords = {dblp}, number = 3, pages = {287-298}, timestamp = {2020-02-25T13:43:21.000+0100}, title = {A unified framework for the specification and run-time detection of dynamic properties in distributed computations.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss33.html#BabaogluFR96}, volume = 33, year = 1996 }