Reachability Problems
Subtitle: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
By: edited by Giorgio Delzanno, Igor Potapov
Contributors: Potapov, Igor; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6945
Publisher: Springer-Verlag GmbH Berlin Heidelberg; Springer
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 257
ISBN-13: 9783642242878; 9783642242885
Subjects: Logic design; Computer science; Software engineering; Computer software