Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings /
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Knjiga |
| Jezik: | angleščina |
| Izdano: |
Berlín, Alemania :
Springer,
2002, c2002
|
| Serija: | (Lecture Notes in Computer Science)
|
| Online dostop: | Ver documento en línea |
| Oznake: |
Brez oznak, prvi označite!
|
Podobne knjige/članki: Process Algebra and Probabilistic Methods: Performance Modeling and Verification :
- Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings /
- Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
- Finitary Probabilistic Methods in Econophysics /
- Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /
- Probabilistic and Statistical Methods in Cryptology : An Introduction by Selected Topics /
- Probabilistic Logics and Probabilistic Networks /