"Completeness and Counter-Example Generations of a Basic Protocol Logic: ..."

Koji Hasebe, Mitsuhiro Okada (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics