Takashi Kitamura, Keishi Okamoto. Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker. IEICE Transactions, 96-D(12):2555-2564, 2013. [doi]
@article{KitamuraO13-0,
title = {Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker},
author = {Takashi Kitamura and Keishi Okamoto},
year = {2013},
url = {http://search.ieice.org/bin/summary.php?id=e96-d_12_2555},
researchr = {https://researchr.org/publication/KitamuraO13-0},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {96-D},
number = {12},
pages = {2555-2564},
}