%0 Conference Paper %1 conf/lopstr/FakhrySA13 %A Fakhry, Ghada %A Sharaf, Nada %A Abdennadher, Slim %B LOPSTR %D 2013 %E Gupta, Gopal %E Peña, Ricardo %I Springer %K dblp %P 145-163 %T Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2013.html#FakhrySA13 %V 8901 %@ 978-3-319-14125-1

@inproceedings{conf/lopstr/FakhrySA13, added-at = {2017-05-17T00:00:00.000+0200}, author = {Fakhry, Ghada and Sharaf, Nada and Abdennadher, Slim}, biburl = {https://www.bibsonomy.org/bibtex/25bfb85c4a245946b4db7fe08e4241a02/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2013}, editor = {Gupta, Gopal and Peña, Ricardo}, ee = {https://doi.org/10.1007/978-3-319-14125-1_9}, interhash = {9256bd1345b5f82d94aec3c534c60aea}, intrahash = {5bfb85c4a245946b4db7fe08e4241a02}, isbn = {978-3-319-14125-1}, keywords = {dblp}, pages = {145-163}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:36:54.000+0200}, title = {Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2013.html#FakhrySA13}, volume = 8901, year = 2013 }