Arzaki, Muhammad, Formal Methods in Software Engineering Laboratory Faculty of Computer Science Universitas Indonesia, Indonesia

• Vol 3, No 6 (2013) - Articles
  Translation of an Allen’s temporal logic variant to RPNL
  Abstract  PDF