Abdulla, Parosh Aziz,Potapov, Igor. (Eds.) () Reachability problems :7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, proceedingsMLA Citation
Abdulla, Parosh Aziz,Potapov, Igor,eds. Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings. : . Print.
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, proceedings /
Parosh Aziz Abdulla, Igor Potapov (eds.).
|Names:||Abdulla, Parosh Aziz, | Potapov, Igor,|
|Published:||Heidelberg : Springer, |
Lecture notes in computer science ; 8169,
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|Topics:||Computer systems - Verification - Congresses. | Decidability (Mathematical logic) - Congresses. | Computer science - Mathematics - Congresses.|
|Genres:||Electronic books. | Conference papers and proceedings.|
SpringerLink - Full text online (Opens in a new window)