Pengarang

David A. Basin; Nils Klarlund;

Judul

Hardware verification using monadic second-order logic, (LNCS-Lecture Notes in Computer Science 939) Hal 31-41

Judul Artikel

Nama Prosiding

Computer aided verification: 7th international workshop; Proceedings/CAV'95, Liege, Belgium, July 3-5, 1995

Bahasa

Eng

No. Seri

Lecture Notes in Computer Science 939

Abstrak English

Penerbitan

Springer, 1995

Kata Kunci

Tahun

1995

Subjek

No. Panggil

004 Int c