@Proceedings{DP12,
title={Proceedings of the 19th International SPIN Workshop on Model Checking of Software (SPIN'12)},
year={2012},

editor={A. Donaldson and D. Parker},
publisher={Springer},
series={LNCS},
volume={7385},
organization={},
address={},
month={},
note={},
key={}
}