Michael P. Madsen

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Dines Bjørner, Peter Chiang, Morten S. T. Jacobsen, Jens Kielsgaard Hansen, Michael P. Madsen, Martin Penicka
Towards a formal model of CyberRail. IFIP Congress Topical Sessions (2004)