Model checking real-time conditional commitment logic using transformation

Mohamed El Menshawy, Jamal Bentahar, Warda El Kholy, Amine Laarej

Research output: Contribution to journalArticlepeer-review

15 Scopus citations

Fingerprint

Dive into the research topics of 'Model checking real-time conditional commitment logic using transformation'. Together they form a unique fingerprint.

Computer Science