skip to main content
Lingue:
Filtrati per: Lista di tutte le versioni rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut

Journal of Automated Reasoning, 2017, Vol.59(1), p.3-45 [Rivista Peer Reviewed]

U.S. National Library of Medicine (NIH/NLM)

Fulltext disponibile

2
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut

Journal of Automated Reasoning, 1/11/2017 [Rivista Peer Reviewed]

Springer (via CrossRef)

Fulltext disponibile

3
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut

Journal of automated reasoning, 2017, Vol.59(1), pp.3-45 [Rivista Peer Reviewed]

MEDLINE/PubMed (U.S. National Library of Medicine)

Fulltext disponibile

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Ricerca in corso nelle risorse remote ...