Searching for authors named Adel Bouhoula – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Using Induction and Rewriting to Verify and Complete Parameterized Specifications
- …Using Induction and Rewriting to Verify and Complete Parameterized Speci��cations Adel Bouhoula…
- Cited by 9 (5 self) – Add To MetaCart
-
Observational Proofs by Rewriting
- …Observational Proofs by Rewriting Adel Bouhoula Ecole Superieure des Communications de Tunis Cite…
- Cited by 3 (0 self) – Add To MetaCart
-
Automated Theorem Proving by Test Set Induction
- …Automated Theorem Proving by Test Set Induction ADEL BOUHOULA INRIA Lorraine & CRIN Campus Scienti…
- Cited by 15 (6 self) – Add To MetaCart
-
Automata-Driven Automated Induction
- …Automata-Driven Automated Induction ? ?? Adel Bouhoula y and Jean-Pierre Jouannaud z SRI…
- Cited by 13 (5 self) – Add To MetaCart
-
Constrained Tree Grammars to Pilot . . .
- … Proof by Induction Adel Bouhoula Ecole superieure des communications de Tunis Cite Technolgique des…
- Add To MetaCart
-
Implicit Induction in Conditional Theories
- …Implicit Induction in Conditional Theories Adel Bouhoula and Micha#l Rusinowitch CRIN & INRIA…
- Cited by 52 (10 self) – Add To MetaCart
-
Managing Revocation in Role Based Access Control Models Using Delegation Licences
- … Cuppens-Boulahia (nora.cuppens@(email omitted);) ∗ Adel Bouhoula (bouhoula@(email omitted);) † Abstract…
- Add To MetaCart
-
Automated Mathematical Induction
- …Automated Mathematical Induction Adel Bouhoula y Emmanuel Kounalis z Micha#l Rusinowitch y y…
- Cited by 19 (5 self) – Add To MetaCart
-
User Manual
- …SPIKE USER MANUAL December 7, 1995 SPIKE Version 1.0 Adel Bouhoula and Micha#l Rusinowitch 2…
- Add To MetaCart
-
Observational Proofs by Implicit Context Induction
- … AUTOMATIQUE Observational Proofs by Implicit Context Induction Narjes Berregeb Adel Bouhoula Michael…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
