model checking grid dirac mcrl2
Mehr anzeigen