Hypergraph Construction and its Application to the Static Analysis of Concurrent Systems

Barbara König. Hypergraph Construction and its Application to the Static Analysis of Concurrent Systems. Mathematical Structures in Computer Science, 12(2):149-175, 2002.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.