%0 Conference Paper %1 conf/mates/StolzenburgA03 %A Stolzenburg, Frieder %A Arai, Toshiaki %B MATES %D 2003 %E Schillo, Michael %E Klusch, Matthias %E Müller, Jörg P. %E Tianfield, Huaglory %I Springer %K %P 131-143 %T From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications. %U http://dblp.uni-trier.de/db/conf/mates/mates2003.html#StolzenburgA03 %V 2831 %@ 3-540-20124-6

@inproceedings{conf/mates/StolzenburgA03, added-at = {2023-12-14T15:50:38.000+0100}, author = {Stolzenburg, Frieder and Arai, Toshiaki}, biburl = {https://www.bibsonomy.org/bibtex/283a4025dc614d97539caca9149963cba/admin}, booktitle = {MATES}, crossref = {conf/mates/2003}, editor = {Schillo, Michael and Klusch, Matthias and Müller, Jörg P. and Tianfield, Huaglory}, ee = {https://doi.org/10.1007/978-3-540-39869-1_12}, interhash = {f0341b83a1e06fdde1be0040d444a9ed}, intrahash = {83a4025dc614d97539caca9149963cba}, isbn = {3-540-20124-6}, keywords = {}, pages = {131-143}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:50:38.000+0100}, title = {From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications.}, url = {http://dblp.uni-trier.de/db/conf/mates/mates2003.html#StolzenburgA03}, volume = 2831, year = 2003 }