%0 Conference Paper %1 conf/setn/SymeonidisGV16 %A Symeonidis, Moses %A Giouroukis, Dimitris %A Vrakas, Dimitris %B SETN %D 2016 %E Bassiliades, Nick %E Bikakis, Antonis %E Vrakas, Dimitris %E Vlahavas, Ioannis P. %E Vouros, George A. %I ACM %K dblp %P 6:1-6:7 %T A planning problem validator based on reachability analysis. %U http://dblp.uni-trier.de/db/conf/setn/setn2016.html#SymeonidisGV16 %@ 978-1-4503-3734-2

@inproceedings{conf/setn/SymeonidisGV16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Symeonidis, Moses and Giouroukis, Dimitris and Vrakas, Dimitris}, biburl = {https://www.bibsonomy.org/bibtex/280487049a8212226fb5823c67a9b0179/dblp}, booktitle = {SETN}, crossref = {conf/setn/2016}, editor = {Bassiliades, Nick and Bikakis, Antonis and Vrakas, Dimitris and Vlahavas, Ioannis P. and Vouros, George A.}, ee = {https://doi.org/10.1145/2903220.2903237}, interhash = {579856b1de26d4d90b75a8e13858f2b1}, intrahash = {80487049a8212226fb5823c67a9b0179}, isbn = {978-1-4503-3734-2}, keywords = {dblp}, pages = {6:1-6:7}, publisher = {ACM}, timestamp = {2018-11-07T15:37:06.000+0100}, title = {A planning problem validator based on reachability analysis.}, url = {http://dblp.uni-trier.de/db/conf/setn/setn2016.html#SymeonidisGV16}, year = 2016 }