Reachability problems  3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /  [electronic resource] : 
 RP 2009 
edited by Olivier Bournez, Igor Potapov. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2009. 
 - x, 232 pages :  illustrations, digital. 
 - Lecture notes in computer science,  5797  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783642044205 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems--Verification--Congresses.<br/>Decidability (Mathematical logic)--Congresses.<br/>Configurations--Congresses.<br/>Computation by Abstract Devices.<br/>Mathematics of Computing.<br/>Theory of Computation.<br/>Logics and Meanings of Programs.<br/>Mathematical Logic and Formal Languages.<br/>Algorithm Analysis and Problem Complexity.
<br/><br/><label>Dewey Class. No.: </label>003