Search Results - Báez, Lorena Chavarría
-
1
-
2
Termination analysis of active rules - A Petri net based approach
Conference Proceeding -
3
-
4
-
5
-
6
Verification of active rule base via conditional colored Petri nets
Conference Proceeding -
7