%0 Conference Paper %1 conf/iccel/IzawaM21 %A Izawa, Marika %A Miyamoto, Toshiyuki %B ICCE %D 2021 %I IEEE %K dblp %P 1-5 %T A Case Study of Choreography Realizability Checking on Smart Home Application. %U http://dblp.uni-trier.de/db/conf/iccel/icce2021.html#IzawaM21 %@ 978-1-7281-9766-1

@inproceedings{conf/iccel/IzawaM21, added-at = {2021-05-17T00:00:00.000+0200}, author = {Izawa, Marika and Miyamoto, Toshiyuki}, biburl = {https://www.bibsonomy.org/bibtex/25819f562bbe412e7e4d84a315da7d132/dblp}, booktitle = {ICCE}, crossref = {conf/iccel/2021}, ee = {https://doi.org/10.1109/ICCE50685.2021.9427637}, interhash = {22f1712d4e5dcc7031b8e4c632307e09}, intrahash = {5819f562bbe412e7e4d84a315da7d132}, isbn = {978-1-7281-9766-1}, keywords = {dblp}, pages = {1-5}, publisher = {IEEE}, timestamp = {2024-04-10T01:19:36.000+0200}, title = {A Case Study of Choreography Realizability Checking on Smart Home Application.}, url = {http://dblp.uni-trier.de/db/conf/iccel/icce2021.html#IzawaM21}, year = 2021 }