Concepedia
1
Publications
229
Citations
H-Index
1990
Active since
Publications per year
1990–1990
Algebraic Reasoning for Probabilistic Concurrent Systems.
Alessandro Giacalone, Chi-Chang Jou, Scott A. Smolka · 1990 · 229 citations
Rows per page
1–1 of 1