TY - GEN
AU - Finkel, Alain
AU - Leroux, Jérôme
AU - Potapov, Igor
TI - Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
PB - Springer
SN - 9783642335129
KW - Computer software
KW - Logic design
KW - Computer Science
KW - Computer systems Verification Congresses
KW - Computer science
KW - Software engineering
KW - Machine theory.
KW - Compilers (Computer programs).
KW - Algorithms.
KW - Numerical Analysis, Computer-Assisted Congresses
KW - Algorithms Congresses
KW - Konferenzschrift 2012 Bordeaux
KW - Konferenzschrift
KW - Erreichbarkeit
KW - Erreichbarkeitsmenge
PY - 2012
N2 - Literaturangaben
BT - Lecture Notes in Computer Science ; 7550
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation