Location & Availability for: Reachability problems : 7th internationa

 Staff view

You must be logged in to Tag Records

Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, proceedings /

Parosh Aziz Abdulla, Igor Potapov (eds.).

Book Cover
Names: Abdulla, Parosh Aziz, | Potapov, Igor,
Published: Heidelberg : Springer, [2013]
Series: 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.
Online Access: SpringerLink - Full text online
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


University of Illinois at Urbana-Champaign

Loading Holdings Data ... Loading

Location & Availability for: Reachability problems : 7th internationa