Minimal state graph generation - Concepedia

Concepedia

Publication | Closed Access

Minimal state graph generation

92

Citations

10

References

1992

Year

Ahmed Bouajjani, J. C. Fernandez, Nicolas Halbwachs, Pascal Raymond, Christophe Ratel

Science of Computer Programming

EngineeringGraph TheoryState Space SearchAutomated ReasoningStructural Graph TheoryFormal MethodsNetwork AnalysisComputer ScienceCombinatorial OptimizationGraph Algorithm

References

	Year	Citations

Page 1