PIPS

swMATH34741MaRDI QIDQ46450FDOQ46450

Author name not available (Why is that?)

Official website: https://pips4u.org

Cited In (5)

• Equivalence checking of Petri net models of programs using static and dynamic cut-points
• PLuTo
• Flamel
• SamaTulyata
• v2c

This page was built for software: PIPS