( en | de | ru )

 

  3. Ahmed Rezine

Ahmed Rezine

Parameterized Systems : Generalizing and Simplifying Automatic Verification.
. Uppsala University, Sweden, (2008)base-search.net (ftgotlanduniv:oai:DiVA.org:uu-8587).
  •  :
  •  :
далее