Formal Specifications for Java’s Synchronisation Classes
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
Formal Specifications for Java’s Synchronisation Classes
PDP, 2014.

PDP 2014
Full names Links ISxN
	author        = "Afshin Amighi and Stefan Blom and Marieke Huisman and Wojciech Mostowski and Marina Zaharieva-Stojanovski",
	booktitle     = "{Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing}",
	doi           = "10.1109/PDP.2014.31",
	isbn          = "978-1-4799-2729-6",
	pages         = "725--733",
	publisher     = "{IEEE Computer Society}",
	title         = "{Formal Specifications for Java’s Synchronisation Classes}",
	year          = 2014,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.