Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is Formal Modelling  [Clear All Filters]
Book Chapter
Probst C.W, Kammüller F., R. Hansen R.  2015.  Formal Modelling and Analysis of Socio-Technical Systems. Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. 9560:54–73.