e CIG: Journal Articles


Journal Articles

Author:Behrens, Tristan and Dix, Jürgen
Title:Model Checking Multiagent Systems with Logic Based Petri Nets
Journal:Annals of Mathematics and Artificial Intelligence
Volume:51
Year:2008
Pages:81-121
Number:1-2
Url:http://www.springerlink.com/content/101739/
BibTeX-Code:
@article{behdix08,
author={Behrens, Tristan and Dix, Jürgen},
title={Model Checking Multiagent Systems with Logic Based Petri Nets},
journal={Annals of Mathematics and Artificial Intelligence},
volume={51},
year={2008},
pages={81-121},
url={http://www.springerlink.com/content/101739/},
number={1-2},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019