Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
4ltl_full_validation..> | 2023-09-15 09:23 | 760K | ||
4ltl_multipercentile..> | 2023-09-15 09:23 | 110K | ||
4ltl_multipercentile..> | 2023-09-15 09:23 | 798 | ||
4ltl_validation.cif.gz | 2023-09-15 09:23 | 3.4K | ||
4ltl_validation.pdf.gz | 2023-09-15 09:23 | 759K | ||
4ltl_validation.xml.gz | 2023-09-15 09:23 | 3.0K | ||
4ltl_validation_2fo-..> | 2023-09-15 09:23 | 24K | ||
4ltl_validation_fo-f..> | 2023-09-15 09:23 | 23K | ||