skip to main content
Lingue:

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

Konnov, Igor ; Veith, Helmut ; Widder, Josef

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

Fulltext disponibile

Citazioni Citato da
  • Titolo:
    On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability
  • Autore: Konnov, Igor ; Veith, Helmut ; Widder, Josef
  • Fa parte di: Information and Computation, 02/2017, Vol.252, C, pp.95-109
  • Lingua: Inglese
  • Tipo: Articolo
  • Identificativo: ISSN: 08905401 ; DOI: http://dx.doi.org/10.1016/j.ic.2016.03.006
  • Fonte: Elsevier (via CrossRef)

Ricerca in corso nelle risorse remote ...