‪Matthias Harvey‬ - ‪Google Scholar‬

Obtenir mon propre profil

Citée par

	Toutes	Depuis 2019
Citations	6	4
indice h	1	1
indice i10	0	0

0

2

1

201620172018201920201 1 2 2

Coauteurs

Stefan GrunerORCID: 0000-0001-6008-6123Adresse e-mail validée de cs.up.ac.za
Nils TimmSenior Lecturer, University of PretoriaAdresse e-mail validée de up.ac.za

Matthias Harvey

Matthias Harvey

Private

Adresse e-mail validée de teleth.com - Page d'accueil

artificial intelligence computer graphics


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–3