@inproceedings{DBLP:conf/cc/LamprechtMS06,
author = {Anna-Lena Lamprecht and
Tiziana Margaria and
Bernhard Steffen},
title = {Data-Flow Analysis as Model Checking Within the jABC},
booktitle = {CC},
year = {2006},
pages = {101-104},
ee = {http://dx.doi.org/10.1007/11688839_9},
crossref = {DBLP:conf/cc/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cc/2006,
editor = {Alan Mycroft and
Andreas Zeller},
title = {Compiler Construction, 15th International Conference, CC
2006, Held as Part of the Joint European Conferences on
Theory and Practice of Software, ETAPS 2006, Vienna, Austria,
March 30-31, 2006, Proceedings},
booktitle = {CC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3923},
year = {2006},
isbn = {3-540-33050-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2008-05-08 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
