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
Petri nets for protocol engineering
Computer Communications
Hi-index | 0.00 |