%0 Conference Paper %1 conf/complexis/Yamasaki17 %A Yamasaki, Susumu %B COMPLEXIS %D 2017 %E Gusikhin, Oleg Yu. %E Muñoz, Víctor Méndez %E Firouzi, Farshad %E Mønster, Dan %E Chang, Victor %I SciTePress %K dblp %P 110-115 %T Semantics and Algebra for Action Logic Monitoring State Transitions. %U http://dblp.uni-trier.de/db/conf/complexis/complexis2017.html#Yamasaki17 %@ 978-989-758-244-8

@inproceedings{conf/complexis/Yamasaki17, added-at = {2021-10-14T00:00:00.000+0200}, author = {Yamasaki, Susumu}, biburl = {https://www.bibsonomy.org/bibtex/224406fdae8f1eb4fc7d16140f7399598/dblp}, booktitle = {COMPLEXIS}, crossref = {conf/complexis/2017}, editor = {Gusikhin, Oleg Yu. and Muñoz, Víctor Méndez and Firouzi, Farshad and Mønster, Dan and Chang, Victor}, ee = {https://doi.org/10.5220/0006345901100115}, interhash = {fc92efb2355574ec51f18f29da4288f1}, intrahash = {24406fdae8f1eb4fc7d16140f7399598}, isbn = {978-989-758-244-8}, keywords = {dblp}, pages = {110-115}, publisher = {SciTePress}, timestamp = {2024-04-10T20:57:40.000+0200}, title = {Semantics and Algebra for Action Logic Monitoring State Transitions.}, url = {http://dblp.uni-trier.de/db/conf/complexis/complexis2017.html#Yamasaki17}, year = 2017 }