Predecessor sets of dynamic pushdown networks with tree-regular constraints

Lammich Peter, Müller-Olm Markus, Wenner Alexander

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details zur Publikation

Herausgeber*innenBouajjani Ahmed, Maler Oded
BuchtitelComputer Aided Verification (Band 5643)
Seitenbereich525-539
VerlagSpringer
Titel der ReiheLecture Notes in Computer Science
Nr. in Reihe5643
StatusVeröffentlicht
Veröffentlichungsjahr2009
Sprache, in der die Publikation verfasst istEnglisch
KonferenzCAV 09: 21st International Conference on Computer Aided Verification, June 26 - July 2, 2009, Grenoble, France, undefined
ISBN978-3-642-02657-7
DOI10.1007/978-3-642-02658-4_39
Link zum Volltexthttp://dx.doi.org/10.1007/978-3-642-02658-4_39

Autor*innen der Universität Münster

Lammich, Peter
Institut für Informatik
Müller-Olm, Markus
Professur für Praktische Informatik (Prof. Müller-Olm)
Wenner, Alexander
Professur für Praktische Informatik (Prof. Müller-Olm)