Mikael Nilsson, Jonas Kvarnström, Patrick Doherty. Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification. Acta Informatica, 53(6-8):723-752, 2016. [doi]
@article{NilssonKD16,
title = {Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification},
author = {Mikael Nilsson and Jonas Kvarnström and Patrick Doherty},
year = {2016},
doi = {10.1007/s00236-015-0248-8},
url = {http://dx.doi.org/10.1007/s00236-015-0248-8},
researchr = {https://researchr.org/publication/NilssonKD16},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {53},
number = {6-8},
pages = {723-752},
}