%0 Journal Article %1 journals/ijcis/BosseJMST09 %A Bosse, Tibor %A Jonker, Catholijn M. %A van der Meij, Lourens %A Sharpanskykh, Alexei %A Treur, Jan %D 2009 %J Int. J. Cooperative Inf. Syst. %K dblp %N 1 %P 167-193 %T Specification and Verification of Dynamics in Agent Models. %U http://dblp.uni-trier.de/db/journals/ijcis/ijcis18.html#BosseJMST09 %V 18

@article{journals/ijcis/BosseJMST09, added-at = {2009-04-22T00:00:00.000+0200}, author = {Bosse, Tibor and Jonker, Catholijn M. and van der Meij, Lourens and Sharpanskykh, Alexei and Treur, Jan}, biburl = {https://www.bibsonomy.org/bibtex/234e7a0c98a82b08277d550cabf0846ff/dblp}, date = {2009-04-22}, description = {dblp}, ee = {http://dx.doi.org/10.1142/S0218843009001987}, interhash = {cd6f8f729fb802d027db770ea5256192}, intrahash = {34e7a0c98a82b08277d550cabf0846ff}, journal = {Int. J. Cooperative Inf. Syst.}, keywords = {dblp}, number = 1, pages = {167-193}, timestamp = {2009-04-23T11:33:08.000+0200}, title = {Specification and Verification of Dynamics in Agent Models.}, url = {http://dblp.uni-trier.de/db/journals/ijcis/ijcis18.html#BosseJMST09}, volume = 18, year = 2009 }