%0 Journal Article %1 journals/acta/NilssonKD16 %A Nilsson, Mikael %A Kvarnström, Jonas %A Doherty, Patrick %D 2016 %J Acta Inf. %K dblp %N 6-8 %P 723-752 %T Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification. %U http://dblp.uni-trier.de/db/journals/acta/acta53.html#NilssonKD16 %V 53

@article{journals/acta/NilssonKD16, added-at = {2019-11-18T00:00:00.000+0100}, author = {Nilsson, Mikael and Kvarnström, Jonas and Doherty, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/2e35d3e0632b541ba54ca11a619e650ae/dblp}, ee = {https://doi.org/10.1007/s00236-015-0248-8}, interhash = {d40d1b81d3868c35208b281037ad492f}, intrahash = {e35d3e0632b541ba54ca11a619e650ae}, journal = {Acta Inf.}, keywords = {dblp}, number = {6-8}, pages = {723-752}, timestamp = {2019-11-19T11:38:23.000+0100}, title = {Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta53.html#NilssonKD16}, volume = 53, year = 2016 }