Nugraheni, Cecilia E, Jurusan Teknik Informatika, Fakultas Teknologi Infromasi dan Sains Universitas Katolik Parahyangan, Indonesia
-
Research Report - Engineering Science Vol. 1 (2011) - Articles
Spesikasi Sistem Multi Agen Berparameter Secara Formal dengan TLA+
Abstract PDF