Media type: E-Book; Conference Proceedings Title: The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 Contributor: Grégoire, Jean-Charles [Contributor]; Holzmann, Gerard J. [Contributor]; Peled, Doron [Contributor] Published: Providence, R.I.: American Mathematical Society, 1997 Published in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 32 Extent: 1 online resource (xii, 203 p. ill.) Language: English ISBN: 9781470439903 RVK notation: SS 1996 : Veranstaltungsjahr 1996 Keywords: Verteiltes System > Programmverifikation Origination: Footnote: Includes bibliographical references. - Electronic reproduction;Providence, Rhode Island;American Mathematical Society;2012. - Description based on print version record