Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 53, Number 6, 2016

Mining approximate interval-based temporal dependencies
pp. 547-585(39)
Authors: Combi, C.; Sala, P.

Favourites:
ADD

Checking interval properties of computations
pp. 587-619(33)
Authors: Molinari, A.; Montanari, A.; Murano, A.; Perelli, G.; Peron, A.

Favourites:
ADD

Metric propositional neighborhood logic with an equivalence relation
pp. 621-648(28)
Authors: Montanari, A.; Pazzaglia, M.; Sala, P.

Favourites:
ADD

Planning and execution with flexible timelines: a formal account
pp. 649-680(32)
Authors: Cialdea Mayer, M.; Orlandini, A.; Umbrico, A.

Favourites:
ADD

Dynamic controllability via Timed Game Automata
pp. 681-722(42)
Authors: Cimatti, A.; Hunsberger, L.; Micheli, A.; Posenato, R.; Roveri, M.

Favourites:
ADD
Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more