ML Anthology
Authors
Search
About
Hirata, Masahiro
1 publications
IJCAI
1979
A Prover for Parallel Processes
Masahiro Hirata
,
Toshio Nishimura