Rachida Dssouli

From MaRDI portal
Person:2999247

Available identifiers

zbMath Open dssouli.rachidaMaRDI QIDQ2999247

List of research outcomes





PublicationDate of PublicationType
SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication2017-12-05Paper
Symbolic Model Checking Commitment Protocols Using Reduction2011-05-11Paper
Composition of Use Cases Using Synchronization and Model Checking2009-03-11Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20052006-07-07Paper
Formal Techniques for Networked and Distributed Systems – FORTE 20042005-08-18Paper
https://portal.mardi4nfdi.de/entity/Q44370662003-12-07Paper
https://portal.mardi4nfdi.de/entity/Q49420272000-03-19Paper

Research outcomes over time

This page was built for person: Rachida Dssouli

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2999247&oldid=7550719"
Powered by MediaWiki