Quantitative -Calculus Model Checking Algorithm Based on Generalized Possibility Measures.

Panqing Zhang, Jiulei Jiang, Zhanyou Ma, Heng Zhu

Browse the full DASC paper archive.