Untitled HOME GANTI PASSWORD LOGOUT




Selamat Datang
SELAMAT DATANG DI PERPUSTAKAAN ONLINE

E-JOURNAL

Local model checking algorithm based on mu-calculus with partial orders



  ID Publisher : 0000022650
  Nama Jurnal : Jurnal TELKOMNIKA (Telekomunikasi Komputasi Elektronika Kendali)
  Pengarang : Hua Jiang, Qianli Li, Rongde Lin
  Subjek : model checking, propositional mu-calculus, computational complexity, fixpoint, partitioned dependency graph
  Edisi : 15 / 1 / Maret 2017


Download File...

  Isi_Artikel_869238933447.pdf
  [ 608023  bytes ]


Kembali


Untitled
          
LINK FAKULTAS
MENU MAHASISWA