metadata for HOL-CSP OpSem and sitegen
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFP0439ba5a5778: new entry: HOL-CSP OpSem
- Branches
- Unknown
- Tags
metadata for HOL-CSP OpSem and sitegen
Description metadata for HOL-CSP OpSem and sitegen
Details
Event TimelineRene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPbd16775e7ec6: metadata for HOL-CSP OpSem and sitegen.Mar 8 2024, 11:08 AM2024-03-08 11:08:38 (UTC+1) |