Efficient lumpability check in partially symmetric systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie. Efficient lumpability check in partially symmetric systems. In Third International Conference on the Quantitative Evaluaiton of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA. pages 211-220, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Marco Beccuti' in GoogleThis author has not been identified. Look up 'Giuliana Franceschinis' in GoogleThis author has not been identified. Look up 'Souheib Baarir' in GoogleThis author has not been identified. Look up 'J-M. Ilie' in Google

runs on WebDSL