Title of article

Distributed CTL model checking

Author/Authors

Bourahla، نويسنده , , M.، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2005

Pages

12

From page

297

To page

308

Journal title

IEE Proceedings Software

Serial Year

2005

Journal title

IEE Proceedings Software

Record number

351967