%0 Journal Article %1 journals/tse/BlasioFT00 %A Blasio, Paolo Di %A Fisher, Kathleen %A Talcott, Carolyn L. %D 2000 %J IEEE Trans. Software Eng. %K dblp %N 7 %P 617-634 %T A Control-Flow Analysis for a Calculus of Concurrent Objects. %U http://dblp.uni-trier.de/db/journals/tse/tse26.html#BlasioFT00 %V 26

@article{journals/tse/BlasioFT00, added-at = {2015-12-10T00:00:00.000+0100}, author = {Blasio, Paolo Di and Fisher, Kathleen and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/2ba6c7742630c7cde04b6e09d633ca96a/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.859531}, interhash = {f45dd1ea4bd04b20d84eae4c520dd464}, intrahash = {ba6c7742630c7cde04b6e09d633ca96a}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 7, pages = {617-634}, timestamp = {2015-12-12T11:50:03.000+0100}, title = {A Control-Flow Analysis for a Calculus of Concurrent Objects.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse26.html#BlasioFT00}, volume = 26, year = 2000 }