Searching for authors named "Benjamin Aminof" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
On the Succinctness of Nondeterminism
- …On the Succinctness of Nondeterminism Benjamin Aminof and Orna Kupferman Hebrew University, School…
- Add To MetaCart
-
Reasoning About Systems with Transition Fairness
- …Reasoning about Systems with Transition Fairness Benjamin Aminof 1 , Thomas Ball 2 , and Orna…
- Cited by 3 (0 self) – Add To MetaCart
-
µ-calculus Pushdown Module Checking with Imperfect State Information
- …µ-calculus Pushdown Module Checking with Imperfect State Information Benjamin Aminof 1 , Axel…
- Add To MetaCart
-
Pushdown Module Checking with Imperfect Information ⋆
- …Pushdown Module Checking with Imperfect Information ⋆ Benjamin Aminof 1 , Aniello Murano 2…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 4.
