Viktor Gyuris
发表
A. Prasad Sistla,
Viktor Gyuris,
A. P. Sistla,
1999,
Formal Aspects of Computing.
A. Prasad Sistla,
Viktor Gyuris,
L. Miliades,
1997,
CAV.
A. Prasad Sistla,
Viktor Gyuris,
1997,
CAV.
Viktor Gyuris,
Viktor Gyuris,
1995,
Log. J. IGPL.
Ildikó Sain,
Viktor Gyuris,
Viktor Gyuris,
1997,
Log. J. IGPL.
Harvey Tuch,
Viktor Gyuris,
Kenneth C. Barr,
2010,
OPSR.
A. Prasad Sistla,
Viktor Gyuris,
1999,
Formal Methods Syst. Des..
Viktor Gyuris,
1995,
Log. J. IGPL.
A. Prasad Sistla,
E. Allen Emerson,
Viktor Gyuris,
2000,
TSEM.
Viktor Gyuris,
1997
.