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

Publisher: Springer Science and Media

Volume 55, Number 5, 2018

Event algebra for transition systems composition application to timed automata
pp. 363-400(38)
Authors: Fares, E.; Bodeveix, J. P.; Filali, M.

Favourites:
ADD

Parity game reductions
pp. 401-444(44)
Authors: Cranen, S.; Keiren, J. J.; Willemse, T. A.

Favourites:
ADD

A first step in characterizing three-element codes
pp. 445-457(13)
Authors: Chunhua, C.; Qing, L.; Di, Y.

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