Haruhiko Sato, Shoichi Yokoyama, Masahito Kurihara. User-Friendly GUI in Software Model Checking. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, 11-14 October 2009. pages 468-473, IEEE, 2009. [doi]
@inproceedings{SatoYK09,
title = {User-Friendly GUI in Software Model Checking},
author = {Haruhiko Sato and Shoichi Yokoyama and Masahito Kurihara},
year = {2009},
doi = {10.1109/ICSMC.2009.5346810},
url = {http://dx.doi.org/10.1109/ICSMC.2009.5346810},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/SatoYK09},
cites = {0},
citedby = {0},
pages = {468-473},
booktitle = {Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, 11-14 October 2009},
publisher = {IEEE},
}