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)

Dataset

Omschrijving

Artifact for our regular paper: Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking
Datum van beschikbaarheid22 dec. 2023
UitgeverZenodo

Citeer dit