PAPM-PROBMIV 2001 ((2001 :)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Process algebra and probabilistic methods = performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings/
by:
De Alfaro, Luca.; Gilmore, Stephen.; SpringerLink (Online service); PAPM-PROBMIV 2001 ((2001 :)
(Language materials, printed)