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

Publisher: Springer Science and Media

Volume 30, Number 2, 1993

Frameworks for abstract interpretation
pp. 103-103(1)
Author: Marriott, K.

Favourites:
ADD

Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
pp. 147-147(1)
Authors: Navarro, M.; Orejas, F.; Remy, J.-L.

Favourites:
ADD

From ATP to timed graphs and hybrid systems
pp. 181-181(1)
Authors: Nicollin, X.; Sifakis, J.; Yovine, S.

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