MPG.eBooks - Author Search Results

Cover Image

1

Formal Methods : An Appetizer

by Nielson, Flemming, Riis Nielson, Hanne
Published 2019

Springer International Publishing

Cover Image

2

Semantics with Applications: An Appetizer

by Riis Nielson, Hanne, Nielson, Flemming
Published 2007

Springer London

Cover Image

3

Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computi...

Published 2019

Springer International Publishing

Other Authors: “...Riis Nielson, Hanne...”

Cover Image

4

Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Riis Nielson, Hanne...”