
@conference {inp:Lochbihler2012a,
	title = {Java and the Java Memory Model {\textendash} a Unified, Machine-Checked Formalisation},
	booktitle = {Proceedings of the ACM SIGPLAN 7th Workshop on Programming Languages and Systems (PLAS 2012)},
	year = {2012},
	author = {A. Lochbihler}
}
@conference {inp:GawlitzaLMSW2011,
	title = {Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation},
	booktitle = {Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011)},
	year = {2011},
	author = {T. M. Gawlitza and P. Lammich and M. M{\"u}ller-Olm and H. Seidl and A. Wenner}
}
