GitHub - blue-systems-group/papers.fmsd-verification: FMSD journal version of our RV16 paper on wireless protocol verification.

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
case		case
drafts		drafts
figures		figures
framework		framework
submitted		submitted
.gitignore		.gitignore
Makefile		Makefile
abstract.tex		abstract.tex
background.tex		background.tex
badwords.txt		badwords.txt
case.tex		case.tex
common.tex		common.tex
conclusion.tex		conclusion.tex
framework.tex		framework.tex
future.tex		future.tex
introduction.tex		introduction.tex
llncs.cls		llncs.cls
main.tex		main.tex
motivation.tex		motivation.tex
okwords.txt		okwords.txt
preamble.tex		preamble.tex
references.bib		references.bib
related.tex		related.tex
svglov3.clo		svglov3.clo
svjour3.cls		svjour3.cls