A General Approach to Partial Order Reductions in.. - Abdulla, Jonsson.. (1998)(Correct)(4 citations)
Abstract) Parosh Aziz Abdulla Bengt Jonsson y Mats Kindahl z Doron Peled x Abstract The purpose of
Dec. 1975. LLPY97] K.G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Efficient verification of
Dec. 1975. LLPY97] K.G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Efficient verification of real-time www.docs.uu.se/docs/avds/pom_cav98.ps