66 citations · 233 across the 14 of their papers we have counts for
1 paper · 1 filter
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…