PPTLMiner

swMATH43551MaRDI QIDQ5973059FDOQ5973059

Author name not available (Why is that?)

Cited In (3)

• Propositional projection temporal logic specification mining
• PPTL specification mining based on LNFG
• Temporal logic specification mining of programs

This page was built for software: PPTLMiner