ProbMiVProbabilistic Methods in Verification (workshop)
Copyright 1988-2018, All rights reserved.
References in periodicals archive ?
In Proceedings of the 2nd Joint International Workshop on Process Algebra and Probabilistic Methods and Performance Modeling in Verification (PAPM- PROBMIV 2002), volume 2399 of Lecture Notes in Computer Science, pages 169187.
QEST 2005 (September, Torino, Italy) was the second conference to combine four other conferences--on computer performance evaluation (TOOLS), Petri nets and performance models (PNPM), process algebras and performance modeling (PAPM), and probabilistic methods in verificationj (ProbMIV).
Full browser ?