Yasper

swMATH14836MaRDI QIDQ26732FDOQ26732

Author name not available (Why is that?)

Official website: http://www.yasper.org/

Cited In (5)

• Reduction of workflow nets for generalised soundness verification
• Woflan
• VipTool
• PIPE
• Model Driven Testing Based on Test History

This page was built for software: Yasper