selected publications

• academic article

  • Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes.  Data & Knowledge Engineering.  70:467-482. 2011

• chapter

  • Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes.  Lecture notes in computer science. 294-309. 2009