Sharon Shoham Buchbinder

Research activity per year

If you made any changes in Pure these will be visible here soon.

Filter

2003
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
Shoham, S. & Grumberg, O., 2003, Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Hunt, W. A. & Somenzi, F. (eds.). 978-3-540-40524-5: Springer Berlin Heidelberg, Vol. 2725. p. 275-287 13 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Research output