POPL 2013 : Quantitative Abstraction Refinement

Reference

2013

detail
pdf

Quantitative Abstraction Refinement

Pavol Černý, Thomas A. Henzinger, and Arjun Radhakrishna

POPL 2013: ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

Abstract

BibTeX

@string{POPL = "ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)"}
@inproceedings{quantitative-popl13,
  author = {Pavol Černý and Thomas A. Henzinger and Arjun Radhakrishna},
  title = {Quantitative Abstraction Refinement},
  booktitle = POPL,
  year = {2013},
}