Flamel

swMATH34742MaRDI QIDQ46451FDOQ46451

Author name not available (Why is that?)

Cited In (3)

• Equivalence checking of Petri net models of programs using static and dynamic cut-points
• Automated design and simulation of computer system components
• High-level synthesis: Current status and future prospects

This page was built for software: Flamel