DARX

swMATH30588MaRDI QIDQ42302FDOQ42302

Author name not available (Why is that?)

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