%0 Journal Article %1 journals/scp/EmersonC82 %A Emerson, E. Allen %A Clarke, Edmund M. %D 1982 %J Sci. Comput. Program. %K dblp %N 3 %P 241-266 %T Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. %U http://dblp.uni-trier.de/db/journals/scp/scp2.html#EmersonC82 %V 2

@article{journals/scp/EmersonC82, added-at = {2021-02-17T00:00:00.000+0100}, author = {Emerson, E. Allen and Clarke, Edmund M.}, biburl = {https://www.bibsonomy.org/bibtex/2ef1d181a2f24460c73468709f79e84ea/dblp}, ee = {https://doi.org/10.1016/0167-6423(83)90017-5}, interhash = {054db074de39f11a1966bb70cfb5bff5}, intrahash = {ef1d181a2f24460c73468709f79e84ea}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = 3, pages = {241-266}, timestamp = {2024-04-09T05:27:17.000+0200}, title = {Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp2.html#EmersonC82}, volume = 2, year = 1982 }