‪Rok Vogrin‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	3	2
h-index	1	1
i10-index	0	0

0

2

1

201820192020202120221 2

Public access

1 article

0 articles

available

not available

Based on funding mandates

Rok Vogrin

Rok Vogrin

Teaching Assistant, University of Maribor

Verified email at um.si

telecommunications formal methods computer networks network verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formalna specifikacija in verifikacija lastnosti uravnavanja laktoznega operona z orodjem EST R Meolic, T Kapus Elektrotehniski Vestnik 84 (5), 268-276, 2017	3	2017
Generating and Employing Witness Automata for ACTLW Formulae R Meolic, T Kapus IEEE Access 10, 9889-9905, 2022		2022
Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem EST R Vogrin Univerza v Mariboru, Fakulteta za elektrotehniko, računalništvo in informatiko, 2018		2018
Formalna verifikacija predajne procedure mobilnega omrežja v okolju TLA+ Toolbox R Vogrin Univerza v Mariboru, Fakulteta za elektrotehniko, računalništvo in informatiko, 2015		2015

The system can't perform the operation now. Try again later.

Articles 1–4