PuMoC

swMATH46334MaRDI QIDQ5975094FDOQ5975094

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: PuMoC