KIT | KIT-Bibliothek | Impressum | Datenschutz

Gateway Decompositions for Constrained Reachability Problems

Katz, Bastian; Krug, Marcus; Lochbihler, Andreas 1; Rutter, Ignaz; Snelting, Gregor 1; Wagner, Dorothea
1 Karlsruher Institut für Technologie (KIT)


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2010
Sprache Englisch
Identifikator ISBN: 978-3-642-13192-9
ISSN: 0302-9743
KITopen-ID: 1000017587
Erschienen in Experimental Algorithms - 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings. Ed.: P. Festa
Verlag Springer-Verlag
Seiten 449 - 461
Serie Lecture Notes in Computer Science ; 6049
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page