Formal Verification of Systems with Unbounded Agents

Tephila Prince

2025-10-21 10:15:00, #SéminaireSafer
Https://bbb.lipn.univ-paris13.fr/b/ola-2wl-jir-a0l