Tsukada, Ryota
48  Ergebnisse:
Personensuche X
?
 
?
 
?
10

Epidemiology and molecular characterization of fecal carria..:

Nakai, Miyuki ; Oka, Keisuke ; Watanabe, Genichi...
Journal of Infection and Chemotherapy.  28 (2022)  4 - p. 569-575 , 2022
 
?
15

Predicate Abstraction and CEGAR for $$\nu \mathrm {HFL}_\ma..:

, In: Static Analysis; Lecture Notes in Computer Science,
Iwayama, Naoki ; Kobayashi, Naoki ; Suzuki, Ryota. - p. 134-155 , 2020
 
1-15