SpringerLink (Online service), Donaldson, A., & Parker, D. (2012). Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Alastair Donaldson, and David Parker. Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2012.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2012.
Warning: These citations may not always be 100% accurate.
