Spaces:
Running
Running
| cff-version: 1.2.0 | |
| message: If you use this software, please cite it as below. | |
| title: "wait-for-visualiser: paste a wait-for graph, see the cycle" | |
| abstract: >- | |
| paste a wait-for graph, see the cycle | |
| authors: | |
| - family-names: Harris | |
| given-names: Nick | |
| repository-code: "https://github.com/nickharris808/wait-for-visualiser" | |
| url: "https://github.com/nickharris808/wait-for-visualiser" | |
| license: Apache-2.0 | |
| type: software | |
| keywords: | |
| - verification | |
| - abstention | |
| - reproducibility | |