[DP12]
Alastair Donaldson and David Parker (editors),
Proceedings of the 19th International SPIN Workshop on Model Checking of Software (SPIN'12).
Volume 7385 of LNCS. Springer.
July 2012.
[bib]
|
Notes:
The original publication is available at link.springer.com.
|