ERA-PAT

swMATH13259MaRDI QIDQ25174FDOQ25174

Author name not available (Why is that?)

Official website: https://sites.google.com/site/shangweilin/era-pat

Cited In (3)

• Model checking approach to automated planning
• PAT
• Formal analysis of composable DeFi protocols

This page was built for software: ERA-PAT