%0 Conference Paper %1 conf/RelMiCS/KahlAC05 %A Kahl, Wolfram %A Anand, Christopher Kumar %A Carette, Jacques %B RelMiCS %D 2005 %E MacCaull, Wendy %E Winter, Michael %E Düntsch, Ivo %I Springer %K dblp %P 147-160 %T Control-Flow Semantics for Assembly-Level Data-Flow Graphs. %U http://dblp.uni-trier.de/db/conf/RelMiCS/RelMiCS2005.html#KahlAC05 %V 3929 %@ 3-540-33339-8

@inproceedings{conf/RelMiCS/KahlAC05, added-at = {2019-06-02T00:00:00.000+0200}, author = {Kahl, Wolfram and Anand, Christopher Kumar and Carette, Jacques}, biburl = {https://www.bibsonomy.org/bibtex/271a14aedcec31444d9af2651a0ed399c/dblp}, booktitle = {RelMiCS}, crossref = {conf/RelMiCS/2005}, editor = {MacCaull, Wendy and Winter, Michael and Düntsch, Ivo}, ee = {https://www.wikidata.org/entity/Q60712745}, interhash = {315cfd3e80ffdc2fc386ba404dd78a00}, intrahash = {71a14aedcec31444d9af2651a0ed399c}, isbn = {3-540-33339-8}, keywords = {dblp}, pages = {147-160}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-04-02T12:08:07.000+0200}, title = {Control-Flow Semantics for Assembly-Level Data-Flow Graphs.}, url = {http://dblp.uni-trier.de/db/conf/RelMiCS/RelMiCS2005.html#KahlAC05}, volume = 3929, year = 2005 }