%0 Conference Paper %1 conf/iiaiaai/MatsumotoYAAA19 %A Matsumoto, Akira %A Yokogawa, Tomoyuki %A Amasaki, Sousuke %A Aman, Hirohisa %A Arimoto, Kazutami %B IIAI-AAI %D 2019 %I IEEE %K dblp %P 458-461 %T Consistency Verification of UML Sequence Diagrams Modeling Wireless Sensor Networks. %U http://dblp.uni-trier.de/db/conf/iiaiaai/iiaiaai2019.html#MatsumotoYAAA19 %@ 978-1-7281-2627-2

@inproceedings{conf/iiaiaai/MatsumotoYAAA19, added-at = {2020-02-25T00:00:00.000+0100}, author = {Matsumoto, Akira and Yokogawa, Tomoyuki and Amasaki, Sousuke and Aman, Hirohisa and Arimoto, Kazutami}, biburl = {https://www.bibsonomy.org/bibtex/230731f56a54f692b3623bee2f7058e55/dblp}, booktitle = {IIAI-AAI}, crossref = {conf/iiaiaai/2019}, ee = {https://doi.org/10.1109/IIAI-AAI.2019.00100}, interhash = {cdae703248a909864b160c6653003100}, intrahash = {30731f56a54f692b3623bee2f7058e55}, isbn = {978-1-7281-2627-2}, keywords = {dblp}, pages = {458-461}, publisher = {IEEE}, timestamp = {2020-02-26T11:56:35.000+0100}, title = {Consistency Verification of UML Sequence Diagrams Modeling Wireless Sensor Networks.}, url = {http://dblp.uni-trier.de/db/conf/iiaiaai/iiaiaai2019.html#MatsumotoYAAA19}, year = 2019 }