SAT-Based Analysis and Quantification of Information Flow in Programs
From International Center for Computational Logic
SAT-Based Analysis and Quantification of Information Flow in Programs
Vladimir KlebanovVladimir Klebanov, Norbert MantheyNorbert Manthey, Christian MuiseChristian Muise
Vladimir Klebanov, Norbert Manthey, Christian Muise
SAT-Based Analysis and Quantification of Information Flow in Programs
In K. R. Joshi and M. Siegle and M. Stoelinga and P. R. D'Argenio, eds., Quantitative Evaluation of Systems,, volume 8054 of LNCS, 177-192, 2013. Springer
SAT-Based Analysis and Quantification of Information Flow in Programs
In K. R. Joshi and M. Siegle and M. Stoelinga and P. R. D'Argenio, eds., Quantitative Evaluation of Systems,, volume 8054 of LNCS, 177-192, 2013. Springer
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@inproceedings{KMM2013,
author = {Vladimir Klebanov and Norbert Manthey and Christian Muise},
title = {SAT-Based Analysis and Quantification of Information Flow in
Programs},
editor = {K. R. Joshi and M. Siegle and M. Stoelinga and P. R. {D'Argenio}},
booktitle = {Quantitative Evaluation of Systems,},
series = {LNCS},
volume = {8054},
publisher = {Springer},
year = {2013},
pages = {177-192}
}