Lewati ke konten utama
Repositori InstitusiUniversitas Islam Negeri Mahmud Yunus Batusangkar
Panduan unggahMasuk
Beranda / Publikasi / Book
BookOpen AccessTerbit 2018Versi 1

Abstraction Discovery and Refinement for Model Checking by Symbolic Trajectory Evaluation

Sara Elisabeth Adams
Koleksi Perpustakaan•2 dilihat · 0 unduhan
Sitasi
RISBibTeXEndNoteCSL-JSON

Abstrak

Abstrak belum tersedia pada metadata publik.

Informasi bibliografis

Identifier OAIoai:ais:library-item:93533
Jenis dokumenBook
Bahasaen
KoleksiKoleksi Perpustakaan
dc.type
Book
dc.rights.access
OPEN_ACCESS
dc.date.issued
2018-03-21

Versi dan riwayat publik

  1. Versi 1Abstraction Discovery and Refinement for Model Checking by Symbolic Trajectory Evaluation2018 · oai:ais:library-item:93533