Title of article

Mu-calculus path checking

Author/Authors

Nicolas Markey، نويسنده , , Philippe Schnoebelen، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 2006

Pages

6

From page

225

To page

230

Keywords

formal methods , Mu-calculus , model checking , Program correctness

Journal title

Information Processing Letters

Serial Year

2006

Journal title

Information Processing Letters

Record number

130212