User: Guest  Login
If you experience problems opening the document, please try this link.
Document type:
Zeitschriftenaufsatz
Author(s):
KÖNIG, BARBARA
Title:
Hypergraph construction and its application to the static analysis of concurrent systems
Journal title:
Mathematical Structures in Computer Science
Year:
2002
Journal volume:
12
Journal issue:
02
Pages contribution:
149-175
Fulltext / DOI:
doi:10.1017/S0960129501003486
E-ISSN:
1469-8072
Notes:
Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFGgeförderten) Allianz- bzw. Nationallizenz frei zugänglich. This publication is with permission of the rights owner freely accessible due to an Alliance licence and a national licence (funded by the DFG, German Research Foundation) respectively
 BibTeX