Doorgaan naar hoofdnavigatie
Doorgaan naar zoeken
Ga verder naar hoofdinhoud
Onderzoeksportaal Eindhoven University of Technology Startpagina
Help en veelgestelde vragen
English
Nederlands
Startpagina
Onderzoekers
Onderzoeksoutput
Organisatie
Activiteiten
Projecten
Prijzen
Pers/Media
Faciliteiten
Datasets
Cursussen
Onderzoeksgebieden
Afstudeerscripties
Zoeken op expertise, naam of affiliatie
Artifact for paper: Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking
Muhammad Osama (Leiden University)
(Ontwerper)
Anton J. Wijs
(Ontwerper)
Software Engineering and Technology
Dataset
Overzicht
Omschrijving
Artifact for our regular paper: Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking
Datum van beschikbaarheid
22 dec. 2023
Uitgever
Zenodo
DOI
10.5281/zenodo.10425384
Toegang dataset
open
Citeer dit
DataSetCite
Osama, M. (Ontwerper), Wijs, A. (Ontwerper) (
22 dec. 2023
). Artifact for paper: Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking. Zenodo.
10.5281/zenodo.10425384