Process algebra and probabilistic methods: performance modeling and verification
by De Alfaro, Luca, Gilmore, Stephen, PAPM-PROBMIV 2001, Aachen, Germany), Measurement, modeling, and evaluation of computer and communication systems (Conference), Petri nets and performance models (International workshop), Probablistic methods in verification (Joint international workshop), Measurement, modeling, and evaluation of computer-communication systems (Multiconference)
fromLecture Notes in Computer Science
0
Type: Book