|
" Reachability problems : "
Antonín Kučera, Igor Potapov (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
958939
|
| Doc. No
|
:
|
b713309
|
| Main Entry
|
:
|
RP (Workshop)(4th :2010 :, Brno, Czech Republic)
|
| Title & Author
|
:
|
Reachability problems : : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings /\ Antonín Kučera, Igor Potapov (eds.).
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer,, 2010.
|
| Series Statement
|
:
|
Lecture notes in computer science,; 6227
|
|
|
:
|
LNCS sublibrary: SL 1-theoretical computer science and general issues
|
| Page. NO
|
:
|
x, 197 pages :: illustrations ;; 24 cm.
|
| ISBN
|
:
|
3642153488
|
|
|
:
|
: 9783642153488
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
| Subject
|
:
|
Computer systems-- Verification, Congresses.
|
| Subject
|
:
|
Configurations, Congresses.
|
| Subject
|
:
|
Decidability (Mathematical logic), Congresses.
|
| Subject
|
:
|
Computer systems-- Verification.
|
| Subject
|
:
|
Configurations.
|
| Subject
|
:
|
Decidability (Mathematical logic)
|
| Subject
|
:
|
Erreichbarkeit.
|
| Subject
|
:
|
Erreichbarkeitsmenge.
|
| Subject
|
:
|
Zustandsgraph.
|
| Subject
|
:
|
Brünn 2010
|
| Dewey Classification
|
:
|
511.35
|
| LC Classification
|
:
|
QA76.76.V47R58 2010
|
| Added Entry
|
:
|
Kučera, A., (Antonín)
|
|
|
:
|
Potapov, Igor.
|
| |