Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives - Concepedia

Concepedia

Publication | Open Access

Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives

DOI Full Paper Access

10

Citations

24

References

2017

Year

Alberto Molinari, Angelo Montanari, Adriano Peron

Information and Computation

EngineeringFormal ModelingAutomated ReasoningVerificationFormal MethodsComputer-aided VerificationComputer ScienceTemporal LogicModel CheckingTimed SystemInterval Temporal LogicFormal VerificationTrack Representatives

References

	Year	Citations

Page 1