Učitavanje...
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Godišnji broj citata
Dvostruki navodi
Sljedeći su članci spojeni u Znalcu.
Navodi iz obaju
članaka broje se samo za prvi članak.
Spojeni navodi
Zbroj za "Citirano" uključuje navode sljedećeg članka u Znalcu. Oni koji su označeni znakom
*
mogu biti različiti od članka u profilu.
Dodavanje suautora
Suautori
Prati
Novi članci tog autora
Novi navodi tog autora
Novi članci povezani s istraživanjem tog autora
E-adresa za obavijesti
Završeno
Moj profil
Moja knjižnica
Mjerni podaci
Upozorenja
Postavke
Prijavite se
Prijavite se
Izradite svoj profil
Citirano
Sve
Od 2019.
Citati
6
4
H-indeks
1
1
i10-indeks
0
0
0
2
1
2016
2017
2018
2019
2020
1
1
2
2
Suautori
Stefan Gruner
ORCID: 0000-0001-6008-6123
Potvrđena adresa e-pošte na cs.up.ac.za
Nils Timm
Senior Lecturer, University of Pretoria
Potvrđena adresa e-pošte na up.ac.za
Prati
Matthias Harvey
Private
Potvrđena adresa e-pošte na teleth.com -
Početna stranica
artificial intelligence
computer graphics
Članci
Citirano
Suautori
Naslov
Razvrstaj
Poredaj po navodima
Poredaj po godini
Poredaj po naslovu
Citirano
Citirano
Godina
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–3
Prikaži više
Privatnost
Uvjeti
Pomoć
O Znalcu
Pomoć za pretraživanje