(2020) Efficient monitoring of hyperproperties using prefix trees.
International Journal on Software Tools for Technology Transfer.
ISSN 1433-2779
Full text not available from this repository.
| Item Type: | Article |
|---|---|
| Depositing User: | Anne Monzel-Busch |
| Date Deposited: | 15 Oct 2020 16:02 |
| Last Modified: | 15 Oct 2020 16:02 |
| Primary Research Area: | NRA2: Reliable Security Guarantees |
| URI: | https://publications.cispa.saarland/id/eprint/3250 |
Actions
Actions (login required)
 |
View Item |