%0 Conference Paper %1 conf/soict/VanFTGH18 %A Van, Thao Nguyen %A Fredivianus, Nugroho %A Tran, Huu Tam %A Geihs, Kurt %A Huynh, Thi Thanh Binh %B SoICT %D 2018 %I ACM %K dblp %P 351-358 %T Formal Verification of ALICA Multi-agent Plans Using Model Checking. %U http://dblp.uni-trier.de/db/conf/soict/soict2018.html#VanFTGH18 %@ 978-1-4503-6539-0

@inproceedings{conf/soict/VanFTGH18, added-at = {2022-10-02T00:00:00.000+0200}, author = {Van, Thao Nguyen and Fredivianus, Nugroho and Tran, Huu Tam and Geihs, Kurt and Huynh, Thi Thanh Binh}, biburl = {https://www.bibsonomy.org/bibtex/27ad7f190f241d88a974fda598ac6340b/dblp}, booktitle = {SoICT}, crossref = {conf/soict/2018}, ee = {https://doi.org/10.1145/3287921.3287947}, interhash = {e6f963dd50d2fbd2df62a92fd82a7893}, intrahash = {7ad7f190f241d88a974fda598ac6340b}, isbn = {978-1-4503-6539-0}, keywords = {dblp}, pages = {351-358}, publisher = {ACM}, timestamp = {2024-04-10T05:44:40.000+0200}, title = {Formal Verification of ALICA Multi-agent Plans Using Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/soict/soict2018.html#VanFTGH18}, year = 2018 }