%0 Conference Paper %1 conf/eurovav/JacobsDR98 %A Jacobs, Nico %A Driessens, Kurt %A Raedt, Luc De %B EUROVAV %D 1998 %E van Harmelen, Frank %I CEUR-WS.org %K dblp %T Inductive verification and validation of multi agent systems. %U http://dblp.uni-trier.de/db/conf/eurovav/eurovav1998.html#JacobsDR98 %V 16

@inproceedings{conf/eurovav/JacobsDR98, added-at = {2023-03-10T00:00:00.000+0100}, author = {Jacobs, Nico and Driessens, Kurt and Raedt, Luc De}, biburl = {https://www.bibsonomy.org/bibtex/260a54a4ea8e2c0a26ca4d9ae3e8bbf8b/dblp}, booktitle = {EUROVAV}, crossref = {conf/eurovav/1998}, editor = {van Harmelen, Frank}, ee = {https://ceur-ws.org/Vol-16/03-jacobs.pdf}, interhash = {b726cef6cb5b16bb5a03a05bd5a9af0c}, intrahash = {60a54a4ea8e2c0a26ca4d9ae3e8bbf8b}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T23:58:54.000+0200}, title = {Inductive verification and validation of multi agent systems.}, url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1998.html#JacobsDR98}, volume = 16, year = 1998 }