<?xml version="1.0"?>
<dblp>
<article key="journals/iandc/TakaokaI73" mdate="2006-04-25">
<title>Fail-Safe Realization of Sequential Machines</title>
<author>Tadao Takaoka</author>
<author>Toshihide Ibaraki</author>
<pages>31-55</pages>
<journal>Information and Control</journal>
<month>February</month>
<year>1973</year>
<volume>22</volume>
<number>1</number>
<url>db/journals/iandc/iandc22.html#TakaokaI73</url>
</article>

</dblp>
