Login / Signup

Verification of active rule base via conditional colored Petri nets.

Lorena Chavarría-BáezXiaoou Li
Published in: SMC (2007)
Keyphrases