Skip to content
cs-conference-ranking.org

Formalizing Errors in CCS with 3-Valued Logic.

Alessandro Aldini, Claudio Antares Mezzina

VenueCCoordination
Year2025
ProceedingsCOORDINATION
DBLP recordconf/coordination/AldiniM25 ↗

Browse the full Coordination paper archive.