https://earthportal.eu/ontologies/ACTRIS_VOCAB?p=classes&conceptid=https%3A%2F%2Fvocabulary.actris.nilu.no%2Factris_vocab%2Fprecipitationo-p-DDTmassconcentration&language=EN
ACTRIS_VOCAB | Classes | EarthPortal
actrisvocabclasses
https://actris.eu/
| ACTRIS
actris
https://www.actris.ch/
ACTRIS-Switzerland | Node of the ACTRIS European Research Infrastructure
Oct 24, 2024 - The ACTRIS network aims to deepen our understanding of climate change and air pollution by producing high-quality observation data on short-lived atmospheric...
the europeanresearch infrastructureactrisswitzerlandnode
https://www.galatina24.it/tag/actris-eric/
ACTRIS-ERIC - GALATINA24
actriseric
https://researchr.org/publication/HinrichsenBK20/bibtex
Actris: session-type based reasoning in separation logic - researchr publication bibtex
actrissessiontypebasedreasoning