%0 Conference Paper %1 conf/time/HunsbergerP18 %A Hunsberger, Luke %A Posenato, Roberto %B TIME %D 2018 %E Alechina, Natasha %E Nørvåg, Kjetil %E Penczek, Wojciech %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 14:1-14:17 %T Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty. %U http://dblp.uni-trier.de/db/conf/time/time2018.html#HunsbergerP18 %V 120 %@ 978-3-95977-089-7

@inproceedings{conf/time/HunsbergerP18, added-at = {2019-09-16T00:00:00.000+0200}, author = {Hunsberger, Luke and Posenato, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/26cf654a7231d7f5cba86888d1de95518/dblp}, booktitle = {TIME}, crossref = {conf/time/2018}, editor = {Alechina, Natasha and Nørvåg, Kjetil and Penczek, Wojciech}, ee = {https://doi.org/10.4230/LIPIcs.TIME.2018.14}, interhash = {9e27a6ff3f05883c1b6eb61e9ba8b859}, intrahash = {6cf654a7231d7f5cba86888d1de95518}, isbn = {978-3-95977-089-7}, keywords = {dblp}, pages = {14:1-14:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:49:31.000+0100}, title = {Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty.}, url = {http://dblp.uni-trier.de/db/conf/time/time2018.html#HunsbergerP18}, volume = 120, year = 2018 }