28 citations · 28 across the 1 of their papers we have counts for
1 paper
Hua Mao, Yingke Chen, Manfred Jaeger +3
Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed…