![](/img/cover-not-exists.png)
[IEEE 2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS) - Niigata, Japan (2013.06.16-2013.06.20)] 2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS) - Automated proof for equivalence of telephone systems
Sakoh, Jun, Yoshimasa, Noriaki, Kawabe, YoshinobuYear:
2013
Language:
english
DOI:
10.1109/icis.2013.6607888
File:
PDF, 707 KB
english, 2013