%0 Conference Paper %1 conf/pdse/WelchM00 %A Welch, Peter H. %A Martin, Jeremy M. R. %B PDSE %D 2000 %I IEEE Computer Society %K dblp %P 114-122 %T A CSP Model for Java Multithreading. %U http://dblp.uni-trier.de/db/conf/pdse/pdse2000.html#WelchM00 %@ 0-7695-0634-8

@inproceedings{conf/pdse/WelchM00, added-at = {2023-03-24T00:00:00.000+0100}, author = {Welch, Peter H. and Martin, Jeremy M. R.}, biburl = {https://www.bibsonomy.org/bibtex/2e376e9d8df486db58528ed2cf54b5137/dblp}, booktitle = {PDSE}, crossref = {conf/pdse/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/PDSE.2000.847856}, interhash = {5cc019152c180847757a0a69ade93c63}, intrahash = {e376e9d8df486db58528ed2cf54b5137}, isbn = {0-7695-0634-8}, keywords = {dblp}, pages = {114-122}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:12:35.000+0200}, title = {A CSP Model for Java Multithreading.}, url = {http://dblp.uni-trier.de/db/conf/pdse/pdse2000.html#WelchM00}, year = 2000 }