Push-Down Automata with Gap-Order Constraints. Abdulla, P. A., Atig, M. F., Delzanno, G., & Podelski, A. In Arbab, F. & Sirjani, M., editors, Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers, volume 8161, of Lecture Notes in Computer Science, pages 199–216, 2013. Springer.
Push-Down Automata with Gap-Order Constraints [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/fsen/AbdullaADP13,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Giorgio Delzanno and
                  Andreas Podelski},
  editor       = {Farhad Arbab and
                  Marjan Sirjani},
  title        = {Push-Down Automata with Gap-Order Constraints},
  booktitle    = {Fundamentals of Software Engineering - 5th International Conference,
                  {FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8161},
  pages        = {199--216},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40213-5\_13},
  doi          = {10.1007/978-3-642-40213-5\_13},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/AbdullaADP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0