author = { Larsen, Kim Guldstrand AND Potapov, Igor AND Srba, Jiří },

title = { Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings },

publisher = {Springer},

isbn = {9783319459943},

keywords = { Computer Science , Computers , Computer logic , Mathematical logic , Computer science , Algorithms , Machine theory. , Erreichbarkeit , Erreichbarkeitsmenge , Zustandsgraph },

year = {2016},

booktitle = {Lecture Notes in Computer Science ; 9899},

booktitle = {Theoretical Computer Science and General Issues ; 9899},

booktitle = {SpringerLink ; Bücher},

booktitle = {Springer eBook collection ; Computer science},

address = { Cham },

url = { http://slubdd.de/katalog?TN_libero_mab2 }