%0 Conference Paper %1 conf/iclp/AlrajehKRU11 %A Alrajeh, Dalal %A Kramer, Jeff %A Russo, Alessandra %A Uchitel, Sebastián %B ICLP (Technical Communications) %D 2011 %E Gallagher, John P. %E Gelfond, Michael %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 106-116 %T An Inductive Approach for Modal Transition System Refinement. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2011.html#AlrajehKRU11 %V 11 %@ 978-3-939897-31-6

@inproceedings{conf/iclp/AlrajehKRU11, added-at = {2018-08-23T00:00:00.000+0200}, author = {Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/288da536b62e32ee5d7bba7949bb8016e/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2011}, editor = {Gallagher, John P. and Gelfond, Michael}, ee = {https://doi.org/10.4230/LIPIcs.ICLP.2011.106}, interhash = {6eb46e808d68e819800f5671911be26f}, intrahash = {88da536b62e32ee5d7bba7949bb8016e}, isbn = {978-3-939897-31-6}, keywords = {dblp}, pages = {106-116}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:46:20.000+0100}, title = {An Inductive Approach for Modal Transition System Refinement.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2011.html#AlrajehKRU11}, volume = 11, year = 2011 }