Model checking mobile processes (1993)

by M Dam
Venue:Lecture Notes in Computer Science