Reachability Problems
Subtitle: 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
By: edited by Olivier Bournez, Igor Potapov
Contributors: Potapov, Igor; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5797
Publisher: Springer Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642044199; 9783642044205
Subjects: Logic design; Information theory; Computer science; Computer software