On Stubborn Sets in the Verification of Linear Time Temporal Properties
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Stubborn Sets for Standard Properties
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
On Stubborn Sets in the Verification of Linear Time Temporal Properties
Formal Methods in System Design
Stubborn sets for simple linear time properties
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Improving Partial Order Reductions for Universal Branching Time Properties
Fundamenta Informaticae
Stable Models for Stubborn Sets
Fundamenta Informaticae
Hi-index | 0.00 |