Reachability Problems [E-Book] : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings / edited by Antonín Kučera, Igor Potapov.
Kučera, Antonín
Potapov, Igor
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
online resource
englisch
9783642153495
Lecture notes in computer science ; 6227
Full Text
LEADER 01022nmm a22002775u 4500
001 978-3-642-15348-8
003 Springer
020 |a 9783642153495 
035 |a (Sirsi) a212107 
041 |a eng 
245 1 0 |a Reachability Problems  |h [E-Book] :  |b 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /  |c edited by Antonín Kučera, Igor Potapov. 
260 |a Berlin, Heidelberg :  |b Springer-Verlag Berlin Heidelberg,  |c 2010   |e (Springer LINK) 
300 |a online resource 
490 |a Lecture notes in computer science ;  |v 6227 
500 |a englisch 
596 |a 1 
650 0 |a Computer science 
650 0 |a Computer software 
650 0 |a Logic design 
650 0 |a Software engineering 
700 1 |a Kučera, Antonín 
700 1 |a Potapov, Igor 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-15349-5  |z Volltext 
908 |a Konferenz 
915 |a zzwFZJ2 
949 |a XX(212107.1)  |w AUTO  |c 1  |i 212107-1001  |l ELECTRONIC  |m ZB  |r N  |s Y  |t E-BOOK  |u 31/8/2010  |x UNKNOWN  |z UNKNOWN  |1 ONLINE  |2 KONFERENZ