%0 Journal Article %1 journals/tkde/AygunZ05 %A Aygün, Ramazan Savas %A Zhang, Aidong %D 2005 %J IEEE Trans. Knowl. Data Eng. %K dblp %N 12 %P 1706-1720 %T SynchRuler: A Rule-Based Flexible Synchronization Model with Model Checking. %U http://dblp.uni-trier.de/db/journals/tkde/tkde17.html#AygunZ05 %V 17

@article{journals/tkde/AygunZ05, added-at = {2015-09-09T00:00:00.000+0200}, author = {Aygün, Ramazan Savas and Zhang, Aidong}, biburl = {https://www.bibsonomy.org/bibtex/2e75d46e9df40195b718dd2f93eb789e0/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TKDE.2005.205}, interhash = {018402abee6f202c21c438f7b1dd3bda}, intrahash = {e75d46e9df40195b718dd2f93eb789e0}, journal = {IEEE Trans. Knowl. Data Eng.}, keywords = {dblp}, number = 12, pages = {1706-1720}, timestamp = {2015-09-10T11:34:31.000+0200}, title = {SynchRuler: A Rule-Based Flexible Synchronization Model with Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/tkde/tkde17.html#AygunZ05}, volume = 17, year = 2005 }