SCOOT

swMATH9954MaRDI QIDQ21933FDOQ21933

Author name not available (Why is that?)

Cited In (2)

• A Framework for Verification of Software with Time and Probabilities
• SAT-Based Model Checking

This page was built for software: SCOOT