%0 Journal Article %1 journals/jss/BabaogluFR96 %A Babaoglu, Özalp %A Fromentin, Eddy %A Raynal, Michel %D 1996 %J Journal of Systems and Software %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 = {2019-06-02T00:00:00.000+0200}, author = {Babaoglu, Özalp and Fromentin, Eddy and Raynal, Michel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/275c96cc06323bf86d3c488d37bf81946/dblp}, ee = {https://www.wikidata.org/entity/Q59491557}, interhash = {d79e5e117079b8c912166a7cf128ad82}, intrahash = {75c96cc06323bf86d3c488d37bf81946}, journal = {Journal of Systems and Software}, keywords = {dblp}, number = 3, pages = {287-298}, timestamp = {2019-09-27T11:15:47.000+0200}, 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 }