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

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@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}
}