View of USING SPLITTER ORDERING HEURISTICS TO IMPROVE BISIMULATION IN PROBABILISTIC MODEL CHECKING

Return to Issue Details USING SPLITTER ORDERING HEURISTICS TO IMPROVE BISIMULATION IN PROBABILISTIC MODEL CHECKING Download Download PDF