DARX

MaRDI QIDQ42302swMATHFDO

Official website https://ieeexplore.ieee.org/document/1251062

Cited in

(3)

• Using abstraction in modular verification of synchronous adaptive systems
• Computing the fault tolerance of multi-agent deployment
• Declarative specification of fault tolerant auction protocols: the English Auction case study

This page was built for software: DARX