PLuTo

swMATH9621MaRDI QIDQ21601FDOQ21601

Author name not available (Why is that?)

Cited In (5)

• Equivalence checking of Petri net models of programs using static and dynamic cut-points
• Implementation of Partial Separability in a Source-to-Source Transformation AD Tool
• Sufficient conditions for the determination and use of data in the same granular parallel computation process
• Reliable generation of high-performance matrix algebra
• Translation validation of coloured Petri net models of programs on integers

This page was built for software: PLuTo