Search results for: Rotem Oshman
Lecture Notes in Computer Science > Distributed Computing > Network algorithms II (Session 3c) > 416-431
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 275-289
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 410-424
Theory of Computing Systems > 2011 > 49 > 4 > 781-816