Process algebra and probabilistic methods: performance modelling and verification : joint in… by PAPM-PROBMIV 2001, Aachen, Allemagne) fromLecture Notes in Computer Science 0 Type: Book
