Publication | Closed Access
Practical algorithms for MSO model-checking on tree-decomposable graphs
31
Citations
115
References
2014
Year
EngineeringGraph TheoryPractical AlgorithmsAutomated ReasoningStructural Graph TheoryVerificationFormal MethodsSoftware AnalysisComputer ScienceModel CheckingCombinatorial OptimizationFormal VerificationGraph Algorithm
| Year | Citations | |
|---|---|---|
Page 1
Page 1