KIT | KIT-Bibliothek | Impressum | Datenschutz

Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints

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



Originalveröffentlichung
DOI: 10.1007/978-3-642-02658-4_39
Scopus
Zitationen: 26
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2009
Sprache Englisch
Identifikator ISBN: 978-3-642-02657-7
ISSN: 0302-9743
KITopen-ID: 1000120902
Erschienen in Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June/July 2009, Proceedings. Ed.: A. Bouajjani
Veranstaltung 21st International Conference on Computer Aided Verification (CAV 2009), Grenoble, Frankreich, 26.06.2009 – 02.07.2009
Verlag Springer, Berlin
Seiten 525-539
Serie Lecture notes in computer science ; 5643
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page