Leif Sandegaard Nielsen

Publication Activity (10 Years)

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

Publications

Leif Sandegaard Nielsen
Concurrency. Program Specification (1981)
Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen
KWIC-index generation. Program Specification (1981)
Leif Sandegaard Nielsen, Ib Holm Sørensen
Communication Network. Program Specification (1981)