( en | de | ru )

 

  3. Marco Montali

Marco Montali

Specification and Verification of Declarative Open Interaction Models - A Logic-based framework.
. University of Bologna, Italy, (2009)base-search.net (ftunivbologntesi:oai:amsdottorato.cib.unibo.it:1829).
  •  :
  •  :
далее