David Parker
Reader, Computer Science, University of Birmingham
|
[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]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at www.springerlink.com.
|