PLSMC

swMATH14776MaRDI QIDQ26673FDOQ26673

Author name not available (Why is that?)

Official website: https://www.zbmath.org/?q=an:06531898

Cited In (1)

• A symbolic model checker for propositional projection temporal logic

This page was built for software: PLSMC