Searching for authors named Adel Bouhoula – sorted by Relevance.
-
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

