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.
Full browser ?