TY - GEN
AU - Larsen, Kim Guldstrand
AU - Potapov, Igor
AU - Srba, Jiří
TI - Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
PB - Springer
SN - 9783319459943
KW - Computer Science
KW - Computers
KW - Computer logic
KW - Mathematical logic
KW - Computer science
KW - Algorithms
KW - Machine theory.
KW - Erreichbarkeit
KW - Erreichbarkeitsmenge
KW - Zustandsgraph
PY - 2016
BT - Lecture Notes in Computer Science ; 9899
BT - Theoretical Computer Science and General Issues ; 9899
BT - SpringerLink ; Bücher
BT - Springer eBook collection ; Computer science
CY - Cham
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation