Description
Artifact for our regular paper: Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking
| Date made available | 22 Dec 2023 |
|---|---|
| Publisher | Zenodo |
Artifact for paper: Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking
- Muhammad Osama (Leiden University) (Creator)
- Anton J. Wijs (Creator)
Dataset