Concepedia
Statistics
Publications
1
Citations
75
H-Index
Active since
1998
Hikaru Ryuba is an author specializing in timed petri nets, computer science, and systems modeling.
Publications per year
1998–1998
CTL model checking of time petri nets using geometric regions
Tomohiro Yoneda, Hikaru Ryuba · IEICE Transactions on Information and Systems · 1998 · 75 citations
Computing, Computer Science, Formal Methods +14
1–1 of 1