%0 Conference Paper %1 conf/aose/BenerecettiC02 %A Benerecetti, Massimo %A Cimatti, Alessandro %B AOSE %D 2002 %E Giunchiglia, Fausto %E Odell, James %E Weiß, Gerhard %I Springer %K dblp %P 32-46 %T Validation of Multiagent Systems by Symbolic Model Checking. %U http://dblp.uni-trier.de/db/conf/aose/aose2002.html#BenerecettiC02 %V 2585 %@ 3-540-00713-X

@inproceedings{conf/aose/BenerecettiC02, added-at = {2019-06-02T00:00:00.000+0200}, author = {Benerecetti, Massimo and Cimatti, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/2767bdbd38bf2b760bd981c9799820d04/dblp}, booktitle = {AOSE}, crossref = {conf/aose/2002}, editor = {Giunchiglia, Fausto and Odell, James and Weiß, Gerhard}, ee = {https://www.wikidata.org/entity/Q62041421}, interhash = {30321d0abfce07379860626546c3a33d}, intrahash = {767bdbd38bf2b760bd981c9799820d04}, isbn = {3-540-00713-X}, keywords = {dblp}, pages = {32-46}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:50:30.000+0200}, title = {Validation of Multiagent Systems by Symbolic Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/aose/aose2002.html#BenerecettiC02}, volume = 2585, year = 2002 }