PIPS

swMATH34741MaRDI QIDQ46450FDOQ46450

Author name not available (Why is that?)

Cited In (1)

• Equivalence checking of Petri net models of programs using static and dynamic cut-points

This page was built for software: PIPS