On Automating Process Algebra Proofs (1996)

by Henri Korver , Alex Sellink
Venue:In Proc. Symp. on Computer and Information Sciences, ISCIS XI, volume II
Citations:6 - 0 self