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