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

Publisher: Springer Science and Media

Volume 51, Number 5, 2014

General quantitative specification theories with modal transition systems
pp. 261-295(35)
Authors: Fahrenberg, U.; Legay, A.

Favourites:
ADD

Forward and backward application of symbolic tree transducers
pp. 297-325(29)
Authors: Fülöp, Z. n.; Vogler, H.

Favourites:
ADD

Controlled finite automata
pp. 327-337(11)
Authors: Meduna, A.; Zemek, P.

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