‪Matthias Harvey‬ - ‪Google Scholar‬

Hanki oma profiili

Viittaukset

	Kaikki	2019 lähtien
Sitaatit	6	4
h-indeksi	1	1
i10-indeksi	0	0

0

2

1

201620172018201920201 1 2 2

Muut kirjoittajat

Stefan GrunerORCID: 0000-0001-6008-6123Vahvistettu sähköpostiosoite verkkotunnuksessa cs.up.ac.za
Nils TimmSenior Lecturer, University of PretoriaVahvistettu sähköpostiosoite verkkotunnuksessa up.ac.za

Matthias Harvey

Matthias Harvey

Private

Vahvistettu sähköpostiosoite verkkotunnuksessa teleth.com - Kotisivu

artificial intelligence computer graphics


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
A bounded model checker for three-valued abstractions of concurrent software systems N Timm, S Gruner, M Harvey Brazilian Symposium on Formal Methods, 199-216, 2016	5	2016
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking N Timm, S Gruner, M Harvey Brazilian Symposium on Formal Methods, 126-143, 2018	1	2018
A Bounded Model Checker for Three-Valued Abstractions of Software Systems–Proofs N Timm, S Gruner, M Harvey

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–3