%0 Conference Paper %1 conf/etfa/NakasibaTIKN01 %A Nakasiba, Takaaki %A Tsuchiya, Akitsugu %A Ikkai, Yoshitomo %A Komoda, Norihisa %A Namioka, Yasuo %B ETFA (2) %D 2001 %I IEEE %K dblp %P 51-56 %T Intelligible description language and its rapid verification method for design support of distributed sequential control systems. %U http://dblp.uni-trier.de/db/conf/etfa/etfa2001-2.html#NakasibaTIKN01

@inproceedings{conf/etfa/NakasibaTIKN01, added-at = {2013-01-17T00:00:00.000+0100}, author = {Nakasiba, Takaaki and Tsuchiya, Akitsugu and Ikkai, Yoshitomo and Komoda, Norihisa and Namioka, Yasuo}, biburl = {https://www.bibsonomy.org/bibtex/250c49aa15d2724e73251725a1760c8b0/dblp}, booktitle = {ETFA (2)}, crossref = {conf/etfa/2001-2}, ee = {http://dx.doi.org/10.1109/ETFA.2001.997670}, interhash = {2aa1fee3760b9725a6b609256019ea9d}, intrahash = {50c49aa15d2724e73251725a1760c8b0}, keywords = {dblp}, note = {0-7803-7241-7}, pages = {51-56}, publisher = {IEEE}, timestamp = {2015-06-19T20:23:06.000+0200}, title = {Intelligible description language and its rapid verification method for design support of distributed sequential control systems.}, url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2001-2.html#NakasibaTIKN01}, year = 2001 }