Näytetään 1 - 1 yhteensä 1 tuloksesta haulle 'Havelund, K.', hakuaika: 0,01s Tarkenna hakua
  1. 1

    Formal analysis of a space-craft controller using SPIN. Tekijä Havelund, K.

    Artikkeli

    Formal analysis of a space-craft controller using SPIN.

Työkalut: