Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings /

Bibliographic Details
Corporate Authors:	International SPIN Workshop Trento, Italy, SpringerLink (Online service), Federated Logic Conference, International SPIN Workshop, World Congress on Formal Methods in the Development of Computing Systems
Other Authors:	Dams, Dennis
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1999]
Series:	Lecture notes in computer science ; 1680.
Subjects:	SPIN (Computer file) > Congresses. SPIN (Logiciel) > Congrès. SPIN (Computer file) Computer software > Verification > Congresses. Computer simulation > Testing > Data processing > Congresses. Verification (Logic) Automatic theorem proving > Congresses. Logiciels > Vérification > Congrès. Computer software > Verification. Modellen. Verificatie. Programacao De Computadores. Kongress. Model Checking. Electronic books. Kongress > Trient > 1999. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Remote Storage