Graphical modelling meets formal methods.

Stefan Gulan, Sven Johr, Roberto Kretschmer, Stefan Rieger, Michael Ditze

Browse the full INDIN paper archive.