Books with this tag

parametrized model checking concurrent systems dis