%0 Conference Paper %1 conf/asm/ScheweF20 %A Schewe, Klaus-Dieter %A Ferrarotti, Flavio %B ABZ %D 2020 %E Raschke, Alexander %E Méry, Dominique %E Houdek, Frank %I Springer %K dblp %P 93-106 %T A Logic for Reflective ASMs. %U http://dblp.uni-trier.de/db/conf/asm/abz2020.html#ScheweF20 %V 12071 %@ 978-3-030-48077-6

@inproceedings{conf/asm/ScheweF20, added-at = {2020-05-25T00:00:00.000+0200}, author = {Schewe, Klaus-Dieter and Ferrarotti, Flavio}, biburl = {https://www.bibsonomy.org/bibtex/2ed0f2f9e83bcba68fdfaeb369cf7ac76/dblp}, booktitle = {ABZ}, crossref = {conf/asm/2020}, editor = {Raschke, Alexander and Méry, Dominique and Houdek, Frank}, ee = {https://doi.org/10.1007/978-3-030-48077-6_7}, interhash = {a49be23e632d995cac4d99b7e71ec900}, intrahash = {ed0f2f9e83bcba68fdfaeb369cf7ac76}, isbn = {978-3-030-48077-6}, keywords = {dblp}, pages = {93-106}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-05-26T11:53:33.000+0200}, title = {A Logic for Reflective ASMs.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2020.html#ScheweF20}, volume = 12071, year = 2020 }