MEASURE PROPHECY DAN HISTORY UNTUK AUTOMATA NONDETEMINISTIK

Rustam, Zuherman MEASURE PROPHECY DAN HISTORY UNTUK AUTOMATA NONDETEMINISTIK. Proceedings, Komputer dan Sistem Intelijen(KOMMIT2000).

[img]
Preview
Text
MEASURE PROPHECY DAN HISTORY UNTUK AUTOMATA NONDETEMINISTIK_UG.pdf - Submitted Version

Download (404Kb) | Preview

Abstract

Pada tulisan ini dibahas tentang metode verifikasi untuk automata nondeterministik dengan menggunakan measure prophecy dan history.

Item Type: Article
Uncontrolled Keywords: automata nondeterministik; measure prophecy;
Subjects: A General Works > AI Indexes (General)
Divisions: Program Diploma Bisnis dan Kewirausahaan > Program Diploma III Manajemen Keuangan
Depositing User: Mr Reza Chandra
Date Deposited: 28 Feb 2014 08:40
Last Modified: 28 Feb 2014 08:40
URI: http://repository.gunadarma.ac.id/id/eprint/1078

Actions (login required)

View Item View Item