journal : Annals of Mathemathics and Artificial Intelligence
1 article
Model Checking Multi-agent systems with Logic Based Petri Nets (article in journal, 2007) — Tristan M. Behrens, Jurgen Dix Model Checking Multi-agent systems with Logic Based Petri Nets (article in journal, 2007) — Tristan M. Behrens, Jurgen Dix