%0 Conference Paper %1 conf/ecbs/BasuSW00 %A Basu, Samik %A Smolka, Scott A. %A Ward, Orson R. %B ECBS %D 2000 %I IEEE Computer Society %K dblp %P 342-350 %T Model Checking the Java Meta-Locking Algorithm. %U http://dblp.uni-trier.de/db/conf/ecbs/ecbs2000.html#BasuSW00 %@ 0-7695-0604-6

@inproceedings{conf/ecbs/BasuSW00, added-at = {2023-03-23T00:00:00.000+0100}, author = {Basu, Samik and Smolka, Scott A. and Ward, Orson R.}, biburl = {https://www.bibsonomy.org/bibtex/2dd47ceabcd73abad61424b1c78a09116/dblp}, booktitle = {ECBS}, crossref = {conf/ecbs/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/ECBS.2000.839894}, interhash = {97d34bfacf93d1e720d2ada23c764fcd}, intrahash = {dd47ceabcd73abad61424b1c78a09116}, isbn = {0-7695-0604-6}, keywords = {dblp}, pages = {342-350}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:10:26.000+0200}, title = {Model Checking the Java Meta-Locking Algorithm.}, url = {http://dblp.uni-trier.de/db/conf/ecbs/ecbs2000.html#BasuSW00}, year = 2000 }