Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 nguyenvan2018formal
%A Nguyen Van, Thao
%A Fredivianus, Nugroho
%A Tran, Tam Huu
%A Geihs, Kurt
%A Binh Huynh, Thanh Thi
%B Proceedings of the Ninth International Symposium on Information and Communication Technology
%C Danang City, Viet Nam
%D 2018
%K alica itegpub vs
%T Formal Verification of ALICA Multi-agent Plans Using Model
Checking
%U https://www.uni-kassel.de/eecs/fileadmin/datas/fb16/Fachgebiete/VS/Documents/Publications/paper_49__1_.pdf
@inproceedings{nguyenvan2018formal,
added-at = {2018-12-07T15:00:21.000+0100},
address = {Danang City, Viet Nam},
author = {Nguyen Van, Thao and Fredivianus, Nugroho and Tran, Tam Huu and Geihs, Kurt and Binh Huynh, Thanh Thi},
biburl = {https://www.bibsonomy.org/bibtex/2f52c1955ed8b295f215fb7e94f7b81a5/vskassel},
booktitle = {Proceedings of the Ninth International Symposium on Information and Communication Technology},
interhash = {c59fc9a5537ef6a09419317d6c85ec04},
intrahash = {f52c1955ed8b295f215fb7e94f7b81a5},
keywords = {alica itegpub vs},
month = {December},
timestamp = {2019-03-19T11:23:03.000+0100},
title = {Formal Verification of ALICA Multi-agent Plans Using Model
Checking},
url = {https://www.uni-kassel.de/eecs/fileadmin/datas/fb16/Fachgebiete/VS/Documents/Publications/paper_49__1_.pdf},
year = 2018
}