Search results for: Benjamin Aminof
Distributed Computing > 2018 > 31 > 3 > 187-222
Information and Computation > 2017 > 254 > P2 > 195-216
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 194-208
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 61-77
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 4. Automata > 183-197
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 125-140
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 213-227
Science of Computer Programming > 2014 > 83 > Complete > 56-79
Theoretical Computer Science > 2013 > 480 > Complete > 104-117
Information and Computation > 2013 > 223 > Complete > 1-17
Information and Computation > 2012 > 210 > Complete > 68-86