Compositional Reasoning Using Intervals and Time Reversal - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Ben C. Moszkowski. Compositional Reasoning Using Intervals and Time Reversal. In Carlo Combi, Martin Leucker, Frank Wolter, editors, Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. pages 107-114, IEEE, 2011. [doi]

The following publications are possibly variants of this publication:

Compositional reasoning using intervals and time reversalBen C. Moszkowski. AMAI, 71(1-3):175-250, 2014. [doi]

runs on WebDSL