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

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability

Konnov, Igor ; Veith, Helmut ; Widder, Josef

Information and Computation, February 2017, Vol.252, pp.95-109 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Succinct Representation, Leaf Languages, and Projection Reductions

Veith, Helmut

Information and Computation, 01 May 1998, Vol.142(2), pp.207-236 [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. Veith, H
  2. Veith, Helmut
  3. Konnov, I
  4. Widder, J
  5. Veith H.

Ricerca in corso nelle risorse remote ...