Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Hacène Sebih
Observed names:
Hacene Sebih,
Sebih Hacene,
Sebih, Hacène
Institution:
Université Constantine 2
Observed institutions:
Centre d'études et de recherche en informatique et communications,
Université Constantine 2
OpenAlex ID:
A5048819609
Automatic Web services composition using maude strategies
2013
·
Latreche Fateh
, Sebih Hacene
, et al.
·
International Conference on Modeling, Simulation, and Applied Optimization
A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL
2005
·
Sebih, Hacène
, Barkaoui, Kamel
·
HAL
Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets
2003
·
Sebih, Hacène
, Barkaoui, Kamel
, et al.
·
HAL
Vers une logique Temporelle LTL pour la vérification des Théories de Réécriture dénotant les ECATNets
2003
·
Sebih, Hacène
, Barkaoui, Kamel
·
HAL
Show more works
View as search
Works count:
5
Citation count:
H-index:
I10-index:
Year
Topic
Type
