Changes
Page history
Update References
authored
Sep 13, 2018
by
Jaime Arias
Show whitespace changes
Inline
Side-by-side
References.md
View page @
ba3f5ecd
...
...
@@ -8,7 +8,7 @@
# Translators
*
[
attop
](
https://github.com/utwente-fmt/attop
)
: Attack tree translator and Analyzer
*
[
Adt2Upp
](
https://github.com/utwente-fmt/Adt2Upp
)
: Attack tree convertor from ADTool to UPPAAL.
*
[
Adt2Upp
](
https://github.com/utwente-fmt/Adt2Upp
)
: Attack tree convertor from ADTool to UPPAAL.
*Old*
# Papers
...
...
...
...