Decision Support for Network Path Estimation via Automated Reasoning

Dean Philp, Naomi Chan, Leslie F. Sikos. Decision Support for Network Path Estimation via Automated Reasoning. In Ireneusz Czarnowski, Robert J. Howlett, Lakhmi C. Jain, editors, Intelligent Decision Technologies 2019 - Proceedings of the 11th KES International Conference on Intelligent Decision Technologies (KES-IDT 2019), Volume 1, Malta, June 17-19, 2019. Volume 142 of Smart Innovation, Systems and Technologies, pages 335-344, Springer, 2019. [doi]

@inproceedings{PhilpCS19,
  title = {Decision Support for Network Path Estimation via Automated Reasoning},
  author = {Dean Philp and Naomi Chan and Leslie F. Sikos},
  year = {2019},
  doi = {10.1007/978-981-13-8311-3_29},
  url = {https://doi.org/10.1007/978-981-13-8311-3_29},
  researchr = {https://researchr.org/publication/PhilpCS19},
  cites = {0},
  citedby = {0},
  pages = {335-344},
  booktitle = {Intelligent Decision Technologies 2019 - Proceedings of the 11th KES International Conference on Intelligent Decision Technologies (KES-IDT 2019), Volume 1, Malta, June 17-19, 2019},
  editor = {Ireneusz Czarnowski and Robert J. Howlett and Lakhmi C. Jain},
  volume = {142},
  series = {Smart Innovation, Systems and Technologies},
  publisher = {Springer},
  isbn = {978-981-13-8311-3},
}