Statistics
Publications
12
Citations
234
H-Index
11
Active since
1995
Huimin Lin is an author at Institute of Software specializing in computer science, computing, and formal methods.
Publications per year
1995–2024
12
12
Symbolic Bisimulations for Probabilistic Systems
Peng Wu, Catuscia Palamidessi, Huimin Lin · 2007 · 25 citations
1–5 of 12