Published January 24, 2019
| Version v1
Software
Open
UpdateKnowledge Rule
Description
This Code represents the AsmetaL specification for updating the knowledge of the intruder.
Files
Files
(3.3 kB)
Name | Size | Download all |
---|---|---|
md5:6b5495ec1bcb363e0994792e41dc3820
|
3.3 kB | Download |