Jiang, Hua, Minnan Normal University, China

• Vol 15, No 1: March 2017 - Computer Science and Information System
  Local Model Checking Algorithm Based on Mu-calculus with Partial Orders
  Abstract  PDF

TELKOMNIKA Telecommunication, Computing, Electronics and Control
ISSN: 1693-6930, e-ISSN: 2302-9293
Universitas Ahmad Dahlan, 4th Campus
Jl. Ringroad Selatan, Kragilan, Tamanan, Banguntapan, Bantul, Yogyakarta, Indonesia 55191
Phone: +62 (274) 563515, 511830, 379418, 371120
Fax: +62 274 564604