%0 Journal Article %1 journals/corr/abs-0903-3126 %A Bouajjani, Ahmed %A Dragoi, Cezara %A Enea, Constantin %A Jurski, Yan %A Sighireanu, Mihaela %D 2009 %J Logical Methods in Computer Science %K %N 2 %T A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs5.html#abs-0903-3126 %V 5

@article{journals/corr/abs-0903-3126, added-at = {2023-12-13T09:48:32.000+0100}, author = {Bouajjani, Ahmed and Dragoi, Cezara and Enea, Constantin and Jurski, Yan and Sighireanu, Mihaela}, biburl = {https://www.bibsonomy.org/bibtex/2caac27472f71b73ca2378951fd4ccbf0/admin}, ee = {http://arxiv.org/abs/0903.3126}, interhash = {d201a3d2066a96bccbe7b6f5876e9628}, intrahash = {caac27472f71b73ca2378951fd4ccbf0}, journal = {Logical Methods in Computer Science}, keywords = {}, number = 2, timestamp = {2023-12-13T09:48:32.000+0100}, title = {A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs5.html#abs-0903-3126}, volume = 5, year = 2009 }