28 lines
830 B
BibTeX
28 lines
830 B
BibTeX
@software{tange_2023_7855617,
|
|
author = {Tange, Ole},
|
|
title = {GNU Parallel 20230422 ('Grand Jury')},
|
|
month = Apr,
|
|
year = 2023,
|
|
note = {{GNU Parallel is a general parallelizer to run
|
|
multiple serial command line programs in parallel
|
|
without changing them.}},
|
|
publisher = {Zenodo},
|
|
doi = {10.5281/zenodo.7855617},
|
|
url = {https://doi.org/10.5281/zenodo.7855617}
|
|
}
|
|
@software{m4,
|
|
author = {{Free Software Foundation}},
|
|
title = {GNU M4 - GNU macro processor},
|
|
url = {https://www.gnu.org/software/m4/manual/index.html},
|
|
version = {1.4.6},
|
|
date = {2021-05-29},
|
|
}
|
|
@software{spin,
|
|
author = {{Gerard J. Holzmann}},
|
|
title = {Spin model checker},
|
|
url = {https://spinroot.com/spin/whatispin.html},
|
|
version = {6.5.2},
|
|
date = {2019-12-06},
|
|
}
|
|
|