ISTA

MaRDI QIDQ21749swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-21834-7_17

Cited in

(1)

• A tool for automated test code generation from high-level Petri nets

This page was built for software: ISTA