Thomas Qvist Nielsen

Publication Activity (10 Years)

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

Publications

Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen
Stepwise Development of a Distributed Load Balancing Algorithms. WDAG (1990)
Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen
Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables. FSTTCS (1990)