( en | de | ru )

 

  3. Daniel Wagner

Daniel Wagner

Finite-state abstractions for probabilistic computation tree logic.
. Imperial College London, UK, (2011)British Library, EThOS.
  •  :
  •  :
далее