Samik Basu, Scott A. Smolka, Orson R. Ward. Model Checking the Java Meta-Locking Algorithm. In 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK. pages 342-350, IEEE Computer Society, 2000. [doi]
@inproceedings{BasuSW00,
title = {Model Checking the Java Meta-Locking Algorithm},
author = {Samik Basu and Scott A. Smolka and Orson R. Ward},
year = {2000},
url = {http://csdl.computer.org/comp/proceedings/ecbs/2000/0604/00/06040342abs.htm},
tags = {Java, model checking, meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/BasuSW00},
cites = {0},
citedby = {0},
pages = {342-350},
booktitle = {7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK},
publisher = {IEEE Computer Society},
isbn = {0-7695-0604-6},
}