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

Publisher: Springer Science and Media

Volume 35, Number 8, 1998

Converting untyped formulas to typed ones
pp. 637-644(8)
Authors: Van den Bussche, J.; Cabibbo, L.

Favourites:
ADD

Polytime model checking for timed probabilistic computation tree logic
pp. 645-664(20)
Authors: Beauquier, D.; Slissenko, A.

Favourites:
ADD
Favourites:
ADD

Priority conflict-free Petri nets
pp. 673-688(16)
Author: Yen, H.-C.

Favourites:
ADD

Bi-catenation and shuffle product of languages
pp. 689-708(20)
Authors: Shyr, H. J.; Yu, S. S.

Favourites:
ADD

d-Words and d-languages
pp. 709-727(19)
Authors: Fan, C.-M.; Shyr, H. J.; Yu, S. 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