Tahun Terbit Jurnal

Judul Artikel

Symbolic Model Checking of UML Activity Diagrams, page 1-38

Pengarang Artikel

R. Eshuis

ISSN/ISBN

1049-331X

Volume Jurnal

15(2006): 1

Penerbit Jurnal

New York: The Association for Computing Machinery

Edisi Jurnal

Nama Jurnal

ACM TRANS. ON SOFTWARE ENGINEERING AND METHODOLOGY