model checking grid dirac mcrl2
Ver más