Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Lazhar Hamel

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/bpm/HamelGKB12
- ask others
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri: Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. Business Process Management Workshops 2012: 513-518
[c3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/skg/HamelGG12
- ask others
Lazhar Hamel, Mohamed Graiet, Walid Gaaloul: Event-B Formalisation of Web Services for Dynamic Composition. SKG 2012: 150-156
2011
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecsa/HamelGKBG11
- ask others
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Verifying Composite Service Transactional Behavior with EVENT-B. ECSA 2011: 67-74
[c1]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/skg/HamelGKBG11
- ask others
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Verifying Composite Service Transactional Behavior with EVENT-B. SKG 2011: 99-106

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?