Reachability problems : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings /

Bibliographic Details
Corporate Authors:	RP (Workshop) Brno, Czech Republic), SpringerLink (Online service)
Other Authors:	Kučera, Antonín, 1971-, Potapov, Igor
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, [2010]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 6227.
Subjects:	Computer systems > Verification > Congresses. Decidability (Mathematical logic) > Congresses. Graph theory > Data processing > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online