Gateway Decompositions for Constrained Reachability Problems

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

Scopus

Seitenaufrufe: 77
seit 24.07.2018

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