ASDeX

swMATH38044MaRDI QIDQ53744FDOQ53744

Author name not available (Why is that?)

Official website: https://link.springer.com/article/10.1007/s10617-012-9088-8

Cited In (4)

• Formal system verification. State-of the-art and future trends
• Rapture
• AMT
• POWER-TRUCTOR

This page was built for software: ASDeX