Toru Kato, Manami Shimazu, Masahiro Higuchi, Hiroshi Ohyama. Integrated development environment for the multiple ambient calculus for modeling freight systems. In IEEE International Conference on Automation Science and Engineering, CASE 2016, Fort Worth, TX, USA, August 21-25, 2016. pages 367-372, IEEE, 2016. [doi]
@inproceedings{KatoSHO16,
title = {Integrated development environment for the multiple ambient calculus for modeling freight systems},
author = {Toru Kato and Manami Shimazu and Masahiro Higuchi and Hiroshi Ohyama},
year = {2016},
doi = {10.1109/COASE.2016.7743430},
url = {http://dx.doi.org/10.1109/COASE.2016.7743430},
researchr = {https://researchr.org/publication/KatoSHO16},
cites = {0},
citedby = {0},
pages = {367-372},
booktitle = {IEEE International Conference on Automation Science and Engineering, CASE 2016, Fort Worth, TX, USA, August 21-25, 2016},
publisher = {IEEE},
isbn = {978-1-5090-2409-4},
}