Kais Klai (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

11 Kais Klai, Samir Tata, Jörg Desel: Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. BPM 2009: 294-309

Selection of 1 from 11 records - Kais Klai has 11 coauthors