Error message

  • Notice: Undefined property: stdClass::$biblio_type in theme_biblio_tabular() (line 208 of /data/www_mmi/ii2/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Undefined property: stdClass::$biblio_type in theme_biblio_tabular() (line 209 of /data/www_mmi/ii2/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Undefined property: stdClass::$biblio_type_name in theme_biblio_tabular() (line 223 of /data/www_mmi/ii2/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Undefined property: stdClass::$biblio_coins in theme_biblio_tabular() (line 293 of /data/www_mmi/ii2/sites/all/modules/biblio/includes/biblio_theme.inc).

Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness.

TitleCompositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness.
Publication Type