Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers > Solving Coverability Problem for Monotonic Counter Systems by Supercompilation
Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers |
Edmund Clarke; Irina Virbitskaite; Andrei Voronkov
Springer Berlin Heidelberg
Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
Solving Coverability Problem for Monotonic Counter Systems by Supercompilation
Authors

Andrei V. Klimov

ARI Id

1664986079767_4348227

Access

Not Available Free

Pages

193-209

DOI

10.1007/978-3-642-29709-0_18

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-29709-0_18

Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings