Mushroom: a program for the automated verification of an SCM protocol specification.

Gilbert M. Lundy, Berna Blbl

Browse the full ICNP paper archive.