%0 Journal Article %1 journals/fmsd/Attie16 %A Attie, Paul C. %D 2016 %J Formal Methods in System Design %K dblp %N 1-2 %P 94-147 %T Synthesis of large dynamic concurrent programs from dynamic specifications. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd48.html#Attie16 %V 48

@article{journals/fmsd/Attie16, added-at = {2016-07-27T00:00:00.000+0200}, author = {Attie, Paul C.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/264811808550b47e00977cf37caf3b05b/dblp}, ee = {http://dx.doi.org/10.1007/s10703-016-0252-9}, interhash = {31fccb7a1bc3d935d0e39a79adbb1889}, intrahash = {64811808550b47e00977cf37caf3b05b}, journal = {Formal Methods in System Design}, keywords = {dblp}, number = {1-2}, pages = {94-147}, timestamp = {2016-07-28T09:32:31.000+0200}, title = {Synthesis of large dynamic concurrent programs from dynamic specifications.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd48.html#Attie16}, volume = 48, year = 2016 }