Tahun Terbit Jurnal

2007

Pengarang Artikel

Azurat, Ade ; Widjaja, Belawati

Judul Artikel

Verfikasi concurrent system dengan model checker SMV

Kala Terbit

Volume Jurnal

January 29-30

ISSN/ISBN

Penerbit Jurnal

Depok: Faculty of of Computer Science & Information Technology, 2007

Nama Prosiding

Proceedings National Conference on Computer Science & Information Technology 2007, January 29-30

Edisi Jurnal

No. Panggil

Pub.Staf PN-0005