Stuttering Equivalence

swMATH28575MaRDI QIDQ40289FDOQ40289

Author name not available (Why is that?)

Cited In (1)

• Formal verification of an executable LTL model checker with partial order reduction

This page was built for software: Stuttering Equivalence