An Introduction to Constraint-Based Temporal Reasoning
Roman Barták, Robert A. Morris, Kristen Brent Venable
- Anthology ID:
- DBLP:series/synthesis/2014Bartak
- Volume:
- 2014
- Year:
- 2014
- Venue:
- synthesis_series
- Publisher:
- Morgan & Claypool Publishers
- URL:
- https://doi.org/10.2200/S00557ED1V01Y201312AIM026
- DOI:
- 10.2200/S00557ED1V01Y201312AIM026
- DBLP:
- series/synthesis/2014Bartak