Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
| 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-Verlag |
| Seiten | 525-539 |
| Serie | Lecture notes in computer science ; 5643 |
| Nachgewiesen in | Scopus Dimensions |