A graphical μ-calculus and local model checking

Autoria(s): Lin Huimin
Data(s)

2002
Identificador

http://ir.iscas.ac.cn/handle/311060/4462

http://www.irgrid.ac.cn/handle/1471x/66829
Fonte

Lin Huimin.A graphical μ-calculus and local model checking,Allerton Press Inc.,2002,17(6):665-671
Palavras-Chave #model checking #mu-calculus #modal graphs #local algorithms
Tipo

期刊论文
Acesso ao item digital