TY - GEN
AU - Delzanno, Giorgio
AU - Potapov, Igor
TI - Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
PB - Springer Berlin Heidelberg
SN - 9783642242885
KW - Computer software
KW - Logic design
KW - Computer Science
KW - Computer science
KW - Software engineering
KW - Machine theory.
KW - Compilers (Computer programs).
KW - Algorithms.
KW - Konferenzschrift 2011 Genf
KW - Erreichbarkeit
KW - Erreichbarkeitsmenge
KW - Zustandsgraph
PY - 2011
BT - Lecture Notes in Computer Science ; 6945
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation