Home > Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Book Informaton
Author
Mikolai Bojanczyk; Slawomir Lasota; Igor Potapov
Series
Lecture Notes in Computer Science
Volume
9328
Year of Publication
1st ed. 2015
Publisher
Springer International Publishing
Pages
XX, 179
Language
en
ISBN
9783319245362, 9783319245379, 3319245368
ARI Id
1664700144707
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |
Topics
Computer simulation Computers Decidability (mathematical logic) Configurations System theory Operating systems (computers) Computer science mathematics Computer systems Congresses Verification Decidability (Mathematical logic) Computer science Mathematics Engineering & Applied Sciences Computer Science