Cover Image
Saved in:

Model checking software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /

Bibliographic Details
Corporate Authors: International SPIN Workshop Stony Brook, N.Y.), SpringerLink (Online service)
Other Authors: Bartocci, Ezio., Ramakrishnan, C. R.
Format: Online Conference Proceeding Book
Published: Berlin ; New York : Springer, c2013.
Series:Lecture notes in computer science ; 7976.
LNCS sublibrary. Theoretical computer science and general issues.
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!