|
" Reachability problems "
Olivier Bournez, Igor Potapov, (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
604686
|
| Doc. No
|
:
|
b433905
|
| Main Entry
|
:
|
RP 2009(2009 :, Palaiseau, France)
|
| Title & Author
|
:
|
Reachability problems : third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /\ Olivier Bournez, Igor Potapov, (eds.)
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer,, 2009
|
| Series Statement
|
:
|
Lecture notes in computer science ;; 5797
|
| Page. NO
|
:
|
1 online resource (x, 232 p.) :: ill
|
| ISBN
|
:
|
9783642044205
|
|
|
:
|
: 3642044204
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Computer systems-- Verification, Congresses
|
| Subject
|
:
|
Decidability (Mathematical logic), Congresses
|
| Subject
|
:
|
Configurations, Congresses
|
| LC Classification
|
:
|
QA76.76.V47R58 2009
|
| Added Entry
|
:
|
Bournez, Olivier
|
|
|
:
|
Potapov, Igor
|
| Parallel Title
|
:
|
RP 2009
|
| |