Coverlipse

swMATH39224MaRDI QIDQ54924FDOQ54924

Author name not available (Why is that?)

Official website: http://coverlipse.sourceforge.net/index.php

Cited In (3)

• A data-flow approach to test multi-agent ASMs
• ASMETA
• ASM Workbench

This page was built for software: Coverlipse