Keterangan Publikasi
| Judul | Verifying UML-based interaction using coloured Petri nets |
| Tahun | 2014 |
| Semua Penulis | Aditya Bagoes Saputa, Thomas Anung Basuki, Jimmy Tirtawangsa |
| Penulis | JMT |
| Jurnal | 2014 International Conference on Data and Software Engineering (ICODSE) |
| Peringkat Jurnal | |
| Jenis | Prosiding Internasional |
| Lab Riset | COMPUTING |
| Mitra | Thomas Anung Basuki Parahyangan Catholic University Aditya Bagoes Parahyangan Catholic University |