%0 Journal Article %1 journals/tse/HansenS78 %A Hansen, Per Brinch %A Staunstrup, Jørgen %D 1978 %J IEEE Trans. Software Eng. %K dblp %N 5 %P 365-370 %T Specification and Implementation of Mutual Exclusion. %U http://dblp.uni-trier.de/db/journals/tse/tse4.html#HansenS78 %V 4

@article{journals/tse/HansenS78, added-at = {2015-12-10T00:00:00.000+0100}, author = {Hansen, Per Brinch and Staunstrup, Jørgen}, biburl = {https://www.bibsonomy.org/bibtex/26ca9ce4a9792368abcee996df5f5f0bd/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1978.233856}, interhash = {d877cb15d8bece03282b21f50ebaf462}, intrahash = {6ca9ce4a9792368abcee996df5f5f0bd}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 5, pages = {365-370}, timestamp = {2015-12-12T11:55:27.000+0100}, title = {Specification and Implementation of Mutual Exclusion.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse4.html#HansenS78}, volume = 4, year = 1978 }