Changes

Page history
Update References authored by Jaime Arias's avatar Jaime Arias
Show whitespace changes
Inline Side-by-side
References.md
View page @ ba3f5ecd
...@@ -8,7 +8,7 @@ ...@@ -8,7 +8,7 @@
# Translators # Translators
* [attop](https://github.com/utwente-fmt/attop): Attack tree translator and Analyzer * [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 # Papers
... ...
......