Kathrin Stübbe

Einsatz der Max-Plus/Min-Plus Algebra zur automatisierten Sicherheitsanalyse (The Application of Max-Plus/Min-Plus Algebra for an Automated Safety Analysis)

Dieter Kraft, Andreas Lapp, Jürgen Schirmer, 2003 .