%0 Conference Paper %1 conf/models/ChengT16 %A Cheng, Zheng %A Tisi, Massimo %B PAME/VOLT@MoDELS %D 2016 %E Ergin, Hüseyin %E Paige, Richard F. %E Syriani, Eugene %E Zschaler, Steffen %E Amrani, Moussa %I CEUR-WS.org %K dblp %P 38-47 %T Towards incremental deductive verification for ATL. %U http://dblp.uni-trier.de/db/conf/models/pame-volt2016.html#ChengT16 %V 1693

@inproceedings{conf/models/ChengT16, added-at = {2023-03-10T00:00:00.000+0100}, author = {Cheng, Zheng and Tisi, Massimo}, biburl = {https://www.bibsonomy.org/bibtex/2bd0e57573b1fc9b4e160a8209ca6369a/dblp}, booktitle = {PAME/VOLT@MoDELS}, crossref = {conf/models/2016pame-volt}, editor = {Ergin, Hüseyin and Paige, Richard F. and Syriani, Eugene and Zschaler, Steffen and Amrani, Moussa}, ee = {https://ceur-ws.org/Vol-1693/VoltPaper3.pdf}, interhash = {9d3058571662c93533632df9e5342d61}, intrahash = {bd0e57573b1fc9b4e160a8209ca6369a}, keywords = {dblp}, pages = {38-47}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T21:57:56.000+0200}, title = {Towards incremental deductive verification for ATL.}, url = {http://dblp.uni-trier.de/db/conf/models/pame-volt2016.html#ChengT16}, volume = 1693, year = 2016 }