skip to main content
Lingue:
Filtrati per: Titolo della rivista: Distributed Computing rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Parameterized model checking of rendezvous systems

Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut

Distributed computing, 2018, Vol.31(3), pp.187-222 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Rubin, S.
  2. Spegni, Francesco
  3. Aminof, Benjamin
  4. Veith, Helmut
  5. Aminof, B.

Ricerca in corso nelle risorse remote ...