On automating process algebra proofs,” in (1996)

by H Korver, M Sellink
Venue:Yazici (Eds.), Proceedings of the Eleventh International Symposium on Computer and Information Sciences (ISCIS