Annals of Mathematics and Artificial Intelligence

Annals of Mathematics and Artificial Intelligence is a scholarly journal focusing on the application of mathematical methods to diverse areas of.

works as
journal containing
page_white_acrobatModel Checking Multi-agent systems with Logic Based Petri Nets (2007) — Tristan M. Behrens, Jurgen Dix