CNR Institutional Research Information System

Sfoglia per Autore  TER BEEK MAURICE HENRI

Opzioni
Mostrati risultati da 1 a 20 di 315
Titolo Data di pubblicazione Autore(i) File
Teams in Grammar Systems: Hybridity and Weak Rewriting 1-gen-1996 Ter Beek M.H.;
Team automata satisfying compositionality 1-gen-2003 ter Beek MH, ; Kleijn, J
Team automata. A formal approach to the modeling of collaboration between system components 1-gen-2003 Beek, Ter; H, M
Team automata for security analysis of multicast/broadcast communication 1-gen-2003 Ter Beek, M; Lenzini, G; Petrocchi, M
Model Checking Groupware Protocols 1-gen-2003 ter Beek M.H.; Massink M.; Latella D.; Gnesi S.
Synchronized shuffles 1-gen-2003 ter Beek MH, ; Martinvide, C; Mitrana, V
Teams of Pushdown Automata 1-gen-2003 Ter Beek M. H.; CsuhajVarju E.; Mitrana V.
Team automata for security analysis of multicast/broadcast communication 1-gen-2003 TER BEEK, MAURICE HENRI; Lenzini, G; Petrocchi, M
Synchronizations in Team Automata for Groupware Systems 1-gen-2003 Ter Beek, M.H.; Ellis, C.A.; Kleijn, J.; Rozenberg, G.
Team automata satisfying compositionality 1-gen-2003 Ter Beek, M; Kleijn, J
On competence in CD grammar systems 1-gen-2004 ter Beek M.; CsuhajVarju E.; Holzer M.; Vaszil G.
Teams of Pushdown Automata 1-gen-2004 Ter Beek M.H; CsuhajVarju E.; Mitrana V.
Model Checking Publish/Subscribe Notification for thinkteam 1-gen-2004 Ter Beek, M H; Massink, M; Latella, D; Gnesi, S; Forghieri, A; Sebastianis, M
Automated verification of groupware protocols 1-gen-2004 TER BEEK, MAURICE HENRI; Massink, M; Latella, D; Gnesi, S; Forghieri, A; Sebastianis, M
Team Automata for Security - A Survey 1-gen-2004 Ter Beek M. H.; Lenzini G.; Petrocchi M.
On Competence in CD Grammar Systems 1-gen-2004 ter Beek MH, ; Csuhajvarjú, E; Holzer, M; Vaszil, G
Model checking groupware protocols 1-gen-2004 Ter Beek M. H.; Massink M.; Latella D.; Gnesi S.
Modularity for Teams of I/O Automata 1-gen-2004 M H, Ter Beek; Kleijn, J
Team Automata for Security Analysis 1-gen-2004 Ter Beek M.; Lenzini G.; Petrocchi M.
Model Checking Groupware Protocols 1-gen-2004 TER BEEK, MAURICE HENRI; Massink, M; Latella, D; Gnesi, S
Mostrati risultati da 1 a 20 di 315
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile