Hans Henrik Løvengreen

Associate Professor

Department of Applied Mathematics and Computer Science

Richard Petersens Plads

Building 322 Room 110

2800 Kgs. Lyngby

Danmark

45253763

hhlo@dtu.dk

Hans Henrik Løvengreen

0000-0001-6443-4957

concurrency verification