Kunst, GJ. AlanLight: sound, functionally correct, bounded acyclic data flow modeling. , 2018.
@article{Kunst18,
title = {AlanLight: sound, functionally correct, bounded acyclic data flow modeling},
author = {Kunst, GJ},
year = {2018},
researchr = {https://researchr.org/publication/Kunst18},
cites = {0},
citedby = {0},
}