Roberto Segala

1 published title

Process algebra and probabilistic methods : performance modeling and verification : second joint international workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings

(Contributor)

1 edition