v2c

swMATH34740MaRDI QIDQ46449FDOQ46449

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: v2c