CITATION STYLE
Paper, C., Latvala, T., & Systems, S. (2003). Model Checking Software: Proceedings of the 10th International Spin Workshop, 2648/2003(June 2003).
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley