Model Checking Multi-agent systems with Logic Based Petri Nets
 |
 |
@article{masmodelchecking-amai51,
Author = {Behrens, Tristan M. and Dix, Jurgen},
Doi = {10.1007/s10472-008-9092-7},
Issn = {1012-2443},
Journal = {Annals of Mathemathics and Artificial Intelligence},
Note = {From the issue entitled ``Special Issue in honor of Professor Jack Minker's 80th birthday''},
Number = {2-4},
Pages = {81--121},
Publisher = {Springer},
Title = {Model Checking Multi-agent systems with Logic Based {P}etri Nets},
Url = {http://www.springerlink.com/content/3q71261838q73u26/},
Volume = 51,
Year = 2007}
Author = {Behrens, Tristan M. and Dix, Jurgen},
Doi = {10.1007/s10472-008-9092-7},
Issn = {1012-2443},
Journal = {Annals of Mathemathics and Artificial Intelligence},
Note = {From the issue entitled ``Special Issue in honor of Professor Jack Minker's 80th birthday''},
Number = {2-4},
Pages = {81--121},
Publisher = {Springer},
Title = {Model Checking Multi-agent systems with Logic Based {P}etri Nets},
Url = {http://www.springerlink.com/content/3q71261838q73u26/},
Volume = 51,
Year = 2007}