Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings


PAPM-PROBMIV 2001
Bok Engelsk 2001

Bibliotek som har denne