%0 Journal Article %1 journals/tc/LeadbitterPS07 %A Leadbitter, Peter James %A Page, Dan %A Smart, Nigel P. %D 2007 %J IEEE Trans. Computers %K dblp %N 7 %P 992-998 %T Nondeterministic Multithreading. %U http://dblp.uni-trier.de/db/journals/tc/tc56.html#LeadbitterPS07 %V 56

@article{journals/tc/LeadbitterPS07, added-at = {2016-09-07T00:00:00.000+0200}, author = {Leadbitter, Peter James and Page, Dan and Smart, Nigel P.}, biburl = {https://www.bibsonomy.org/bibtex/2ccae9806abebd0caf7766eb7c49461a4/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.2007.1049}, interhash = {6c93d0430dc412b0fe7f41d869f5ac8b}, intrahash = {ccae9806abebd0caf7766eb7c49461a4}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 7, pages = {992-998}, timestamp = {2016-09-08T11:34:01.000+0200}, title = {Nondeterministic Multithreading.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc56.html#LeadbitterPS07}, volume = 56, year = 2007 }