Model Checking CTLK Based on Knowledge-Oriented Petri Nets.

Leifeng He, Guanjun Liu

Browse the full HPCC paper archive.