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

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