Searching for "Pushdown Module Checking." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Pushdown Module Checking
- …Pushdown Module Checking Laura Bozzelli 1 , Aniello Murano 1 , and Adriano Peron 1 Università di…
- Cited by 9 (9 self) – 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
-
Enriched μ–Calculus Pushdown Module Checking ⋆
- …Enriched μ–Calculus Pushdown Module Checking ⋆ Alessandro Ferrante 1 , Aniello Murano 2…
- Cited by 2 (2 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
Showing 1 through 4.
