%0 Conference Paper %1 conf/atal/EngelfrietJT98 %A Engelfriet, Joeri %A Jonker, Catholijn M. %A Treur, Jan %B ATAL %D 1998 %E Müller, Jörg P. %E Singh, Munindar P. %E Rao, Anand S. %I Springer %K dblp %P 177-193 %T Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. %U http://dblp.uni-trier.de/db/conf/atal/atal1998.html#EngelfrietJT98 %V 1555 %@ 3-540-65713-4

@inproceedings{conf/atal/EngelfrietJT98, added-at = {2020-03-27T00:00:00.000+0100}, author = {Engelfriet, Joeri and Jonker, Catholijn M. and Treur, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2350c2f04cb18b6db5ca2d101d666936b/dblp}, booktitle = {ATAL}, crossref = {conf/atal/1998}, editor = {Müller, Jörg P. and Singh, Munindar P. and Rao, Anand S.}, ee = {https://doi.org/10.1007/3-540-49057-4_12}, interhash = {c01c67698c47082284f2b2e01e281e26}, intrahash = {350c2f04cb18b6db5ca2d101d666936b}, isbn = {3-540-65713-4}, keywords = {dblp}, pages = {177-193}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:30.000+0200}, title = {Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.}, url = {http://dblp.uni-trier.de/db/conf/atal/atal1998.html#EngelfrietJT98}, volume = 1555, year = 1998 }