author = { Delzanno, Giorgio Potapov, Igor },

title = { Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings },

publisher = {Springer Berlin Heidelberg},

isbn = {9783642242885},

keywords = { Computer software , Logic design , Computer Science , Computer science , Software engineering , Machine theory. , Compilers (Computer programs). , Algorithms. , Konferenzschrift 2011 Genf , Erreichbarkeit , Erreichbarkeitsmenge , Zustandsgraph },

year = {2011},

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

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

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