Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures /

Bibliographic Details
Corporate Authors:	MOVEP 2000 Nantes, France, SpringerLink (Online service)
Other Authors:	Cassez, Franck, 1967-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Series:	Lecture notes in computer science ; 2067.
Subjects:	Parallel processing (Electronic computers) validation modèle. méthode formelle. démonstration théorème. Parallélisme (Informatique) Automatisches Beweisverfahren. Formale Methode. Model Checking. Paralleler Prozess. Verifikation. Parallélisme (informatique) > Congrès. Kongress. Electronic books. Kongress > Nantes > 2000. Nantes (2000)
Online Access:	Connect to the full text of this electronic book

Remote Storage