An automata-theoretic approach to constraint LTL - Concepedia

Concepedia

Publication | Open Access

An automata-theoretic approach to constraint LTL

DOI Full Paper Access

94

Citations

38

References

2006

Year

Stéphane Demri, Deepak Cyril D’Souza

Information and Computation

Logical AutomatonEngineeringAutomated ReasoningFormal MethodsAutomaton NetworkAutomaton OperationComputer ScienceAutomata-theoretic ApproachFormal Verification

References

	Year	Citations

Page 1