K. H. Madsen

List of publications from the DBLP Bibliography Server - FAQ

1982

1 Niels Damgaard Hansen, K. H. Madsen: Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets. European Workshop on Applications and Theory of Petri Nets 1982: 132-148

1982
1		Niels Damgaard Hansen, K. H. Madsen: Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets. European Workshop on Applications and Theory of Petri Nets 1982: 132-148

Coauthor Index