XTL
From MaRDI portal
Software:33753
No author found.
Related Items (4)
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous ⋮ Counterexample Guided Synthesis of Monitors for Realizability Enforcement ⋮ Unnamed Item
This page was built for software: XTL
