Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures /
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlín, Alemania :
Springer,
2001, c2001
|
| Edice: | (Lecture Notes in Computer Science)
|
| On-line přístup: | Ver documento en línea |