%0 Conference Paper %1 conf/icmt/ChengMP15 %A Cheng, Zheng %A Monahan, Rosemary %A Power, James F. %B ICMT %D 2015 %E Kolovos, Dimitris S. %E Wimmer, Manuel %I Springer %K dblp %P 133-148 %T A Sound Execution Semantics for ATL via Translation Validation - Research Paper. %U http://dblp.uni-trier.de/db/conf/icmt/icmt2015.html#ChengMP15 %V 9152 %@ 978-3-319-21154-1

@inproceedings{conf/icmt/ChengMP15, added-at = {2017-06-15T00:00:00.000+0200}, author = {Cheng, Zheng and Monahan, Rosemary and Power, James F.}, biburl = {https://www.bibsonomy.org/bibtex/28f1da97343eb70e3f6523aa1903ae8ad/dblp}, booktitle = {ICMT}, crossref = {conf/icmt/2015}, editor = {Kolovos, Dimitris S. and Wimmer, Manuel}, ee = {https://doi.org/10.1007/978-3-319-21155-8_11}, interhash = {0c6c3f2d0326ee135791811da40d48aa}, intrahash = {8f1da97343eb70e3f6523aa1903ae8ad}, isbn = {978-3-319-21154-1}, keywords = {dblp}, pages = {133-148}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-25T11:39:51.000+0200}, title = {A Sound Execution Semantics for ATL via Translation Validation - Research Paper.}, url = {http://dblp.uni-trier.de/db/conf/icmt/icmt2015.html#ChengMP15}, volume = 9152, year = 2015 }