Incremental, Inductive Coverability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac. Incremental, Inductive Coverability. In Natasha Sharygina, Helmut Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Volume 8044 of Lecture Notes in Computer Science, pages 158-173, Springer, 2013. [doi]

This author has not been identified. Look up 'Johannes Kloos' in GoogleThis author has not been identified. Look up 'Rupak Majumdar' in GoogleThis author has not been identified. Look up 'Filip Niksic' in GoogleThis author has not been identified. Look up 'Ruzica Piskac' in Google

runs on WebDSL