KBPs

MaRDI QIDQ40291swMATHFDO

Official website https://www.isa-afp.org/entries/KBPs.html

Cited in

(2)

• MCK
• Verified synthesis of knowledge-based programs in finite synchronous environments

This page was built for software: KBPs