Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures /
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | inglese |
| Pubblicazione: |
Berlín, Alemania :
Springer,
2001, c2001
|
| Serie: | (Lecture Notes in Computer Science)
|
| Accesso online: | Ver documento en línea |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi: Modeling and Verification of Parallel Processes :
- Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings /
- Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures /
- Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /
- Parallel and Distributed Processing : 15 IPDPS 2000 Workshops Cancun, Mexico, May 1.5, 2000 Proceedings /
- Vector and Parallel Processing - VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks /
- Job Scheduling Strategies for Parallel Processing : IPDPS 2000 Workshop, JSSPP 2000, Cancun, Mexico, May 1, 2000 Proceedings /