Statistics
Publications
1
Citations
30
H-Index
1
Active since
2008
Binbin Guo is an author specializing in equivalence checking, petri nets, and finite state machine modeling.
Publications per year
2008–2008
1
1
Logic Petri Nets and Equivalency
Yu Du, Binbin Guo · Information Technology Journal · 2008 · 30 citations · Full text
1–1 of 1