Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness - researchr publication references

researchr

You are not signed in
Sign in
Sign up

Simon St. James, Ulrich Ultes-Nitsche. Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness. In PODC. pages 238-245, 2001. [doi]

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL