Predecessor sets of dynamic pushdown networks with tree-regular constraints
Lammich Peter, Müller-Olm Markus, Wenner Alexander
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Bouajjani Ahmed, Maler Oded
Book title: Computer Aided Verification (Volume 5643)
Page range: 525-539
Publishing company: Springer
Title of series: Lecture Notes in Computer Science
Volume of series: 5643
Status: Published
Release year: 2009
Language in which the publication is written: English
Conference: CAV 09: 21st International Conference on Computer Aided Verification, June 26 - July 2, 2009, Grenoble, France, undefined
ISBN: 978-3-642-02657-7
Link to the full text: http://dx.doi.org/10.1007/978-3-642-02658-4_39
Authors from the University of Münster
| Lammich, Peter | Institute of Computer Science |
| Müller-Olm, Markus | Professorship for practical computer science (Prof. Müller-Olm) |
| Wenner, Alexander | Professorship for practical computer science (Prof. Müller-Olm) |