%0 Conference Paper %1 conf/cade/TangW16 %A Tang, Ching Hoo %A Weidenbach, Christoph %B ARQNL@IJCAR %D 2016 %E Benzmüller, Christoph %E Otten, Jens %I CEUR-WS.org %K dblp %P 36-50 %T A Dynamic Logic for Configuration. %U http://dblp.uni-trier.de/db/conf/cade/arqnl2016.html#TangW16 %V 1770

@inproceedings{conf/cade/TangW16, added-at = {2023-03-10T00:00:00.000+0100}, author = {Tang, Ching Hoo and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/24fd9979a3c47079d5ab7f5227a10f715/dblp}, booktitle = {ARQNL@IJCAR}, crossref = {conf/cade/2016arqnl}, editor = {Benzmüller, Christoph and Otten, Jens}, ee = {https://ceur-ws.org/Vol-1770/paper3.pdf}, interhash = {8a2ecdd51361b456dc2dcfd3afa69f18}, intrahash = {4fd9979a3c47079d5ab7f5227a10f715}, keywords = {dblp}, pages = {36-50}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T18:54:49.000+0200}, title = {A Dynamic Logic for Configuration.}, url = {http://dblp.uni-trier.de/db/conf/cade/arqnl2016.html#TangW16}, volume = 1770, year = 2016 }