pFaces

swMATH30630MaRDI QIDQ42344FDOQ42344

Author name not available (Why is that?)

Described by source

• pFaces

Cited In (2)

• Lazy Abstraction-Based Controller Synthesis
• AMYTISS

This page was built for software: pFaces