Flamel

swMATH34742MaRDI QIDQ46451FDOQ46451

Author name not available (Why is that?)

Official website: https://ieeexplore.ieee.org/document/1270270

Cited In (11)

• 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
• Sehwa
• PLuTo
• SOCRATES
• MAHA
• PIPS
• MIMOLA
• SamaTulyata
• v2c

This page was built for software: Flamel