Reference

2016
Infinite-state Liveness-to-Safety via Implicit Abstraction and Well-founded Relations
Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, and Sergio Mover
CAV 2016: International Conference on Computer Aided Verification

BibTeX

@string{CAV = "International Conference on Computer Aided Verification (CAV)"}
@inproceedings{implicit-cav16,
  author = {Jakub Daniel and Alessandro Cimatti and Alberto Griggio and Stefano Tonetta and Sergio Mover},
  title = {Infinite-state Liveness-to-Safety via Implicit Abstraction and
Well-founded Relations},
  booktitle = CAV,
  year = {2016},
}