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

Publisher: Springer Science and Media

Volume 38, Number 4, 2002

Minimally adequate teacher synthesizes statechart diagrams
pp. 235-260(26)
Authors: Makinen, E.; Systa, T.

Favourites:
ADD

The variance of the height of digital search trees
pp. 261-276(16)
Author: Drmota, M.

Favourites:
ADD

Axiomatising timed automata
pp. 277-305(29)
Authors: Lin, H.; Yi, W.

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