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

Publisher: Springer Science and Media

Volume 47, Number 5, 2010

Reachability results for timed automata with unbounded data structures
pp. 279-311(33)
Authors: Lanotte, R.; Maggiolo-Schettini, A.; Troina, A.

Favourites:
ADD

Randomization adaptive self-stabilization
pp. 313-323(11)
Authors: Dolev, S.; Tzachar, N.

Favourites:
ADD

How to allocate review tasks for robust ranking
pp. 325-345(21)
Authors: Hochbaum, D. S.; Levin, A.

Favourites:
ADD

A note on pure codes
pp. 347-357(11)
Author: Huang, C. C.

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