Yasper

swMATH14836MaRDI QIDQ26732FDOQ26732

Author name not available (Why is that?)

Cited In (2)

• Reduction of Workflow Nets for Generalised Soundness Verification
• Model Driven Testing Based on Test History

This page was built for software: Yasper