Fixpoint

swMATH33274MaRDI QIDQ44983FDOQ44983

Author name not available (Why is that?)

Cited In (2)

• Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
• Decentralized control of infinite systems

This page was built for software: Fixpoint