PuMoC

swMATH46334MaRDI QIDQ5975094FDOQ5975094

Author name not available (Why is that?)

Official website: https://dl.acm.org/doi/pdf/10.1145/2351676.2351743

Cited In (2)

• Efficient CTL model-checking for pushdown systems
• Analyzing pushdown systems with stack manipulation

This page was built for software: PuMoC