Takashi Kitamura, Keishi Okamoto. Automated Route Planning for Milk-run Transport Logistics Using Model Checking. In ICNC. pages 240-246, 2012. [doi]
@inproceedings{KitamuraO12,
title = {Automated Route Planning for Milk-run Transport Logistics Using Model Checking},
author = {Takashi Kitamura and Keishi Okamoto},
year = {2012},
doi = {10.1109/ICNC.2012.44},
url = {http://doi.ieeecomputersociety.org/10.1109/ICNC.2012.44},
researchr = {https://researchr.org/publication/KitamuraO12},
cites = {0},
citedby = {0},
pages = {240-246},
booktitle = {ICNC},
}