BeepBeep

swMATH2026MaRDI QIDQ14572FDOQ14572

Author name not available (Why is that?)

Official website: http://beepbeep.sourceforge.net/

Cited In (8)

• Foundations of fine-grained explainability
• LOLA
• Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
• ConSpec
• LARVA
• Dytan
• Apache Flink
• TeSSLa

This page was built for software: BeepBeep