Book Chapter: Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints

[springerlink:10.1007:978-3-642-02658-4_39]

Peter Lammich, Markus Müller-Olm, Alexander Wenner, Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints, Bouajjani, Ahmed and Maler, Oded (Ed.), Computer Aided Verification, pp. 525-539, Springer Berlin / Heidelberg, 2009.

Download

[DOI]

Original article available at springerlink.com.

BibTeX

@incollection{springerlink:10.1007:978-3-642-02658-4_39,
  title = {Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints},
  booktitle = {Computer Aided Verification},
  year = {2009},
  publisher = {Springer Berlin / Heidelberg},
  volume = {5643},
  pages = {525-539},
  author = {Peter Lammich and Markus M{\"u}ller-Olm and Alexander Wenner},
  editor = {Bouajjani, Ahmed and Maler, Oded},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-642-02658-4_39},
}

Authors at the institute

Partner
Prof. Markus Müller-Olm
Alexander Wenner

Projects

Project

IFC for Mobile Components