Model Checking the Multi-Formalism Language FIGARO
收藏相关数据集
Sabine Katharina Klaus (k2934)
-- Documentation --Name: Sabine Katharina KlausmusiXplora-ID: k2934musiXplora-URI: https://musixplora.de/mxp/k2934Gender: fFirst Mentioned: 1984Sectors: Hochschule, Medien, Museum, Musikforschung, Sam
Zenodo2024-06-12 更新00
Binary black-hole simulation SXS:BBH:0397
Simulation of a black-hole binary system evolved by the SpEC code.
Zenodo2020-07-29 更新00
A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4
This is the latest version that contains all the data related to the experiment. This version is a merge of all the previous versions and does not add any new data
Zenodo2024-01-19 更新00
Data from: "Inter- and intraspecific variation in performance of thrips on Chrysanthemum accessions"
Data from "Inter- and intraspecific variation in performance of thrips on Chrysanthemum accessions"published as Bovio M, Voorrips RE, van Loon JJA, Vosman B & Caarls L (2025) Inter‐ and intraspecific
Zenodo2025-04-25 更新00
