Detection of Illegal Behaviors Based on Unfoldings
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Designing a LTL model-checker based on unfolding graphs
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Hi-index | 0.00 |