Commit b2ee7caf authored by Frits Vaandrager's avatar Frits Vaandrager
Browse files

keywords

parent 2ba50c69
......@@ -146,7 +146,7 @@ all tested SSH server models satisfy the stated security properties. However, ou
% We no longer use \terms command
%\terms{Theory}
\keywords{ACM proceedings, \LaTeX, text tagging}
\keywords{Model learning, model checking, SSH protocol}
\maketitle
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment