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.
@article{Konig02,
title = {Hypergraph Construction and its Application to the Static Analysis of Concurrent Systems},
author = {Barbara König},
year = {2002},
tags = {analysis, static analysis},
researchr = {https://researchr.org/publication/Konig02},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {12},
number = {2},
pages = {149-175},
}