%0 Conference Paper %1 conf/focs/BeattyM62 %A Beatty, James C. %A Miller, Raymond E. %B SWCT %D 1962 %I IEEE Computer Society %K dblp %P 123-136 %T Some theorems for incompletely specified sequential machines with applications to state minimization %U http://dblp.uni-trier.de/db/conf/focs/focs62.html#BeattyM62

@inproceedings{conf/focs/BeattyM62, added-at = {2024-07-11T00:00:00.000+0200}, author = {Beatty, James C. and Miller, Raymond E.}, biburl = {https://www.bibsonomy.org/bibtex/2bbb3e4f5b0f73d329bef6a841b06e938/dblp}, booktitle = {SWCT}, crossref = {conf/focs/FOCS3}, ee = {https://doi.ieeecomputersociety.org/10.1109/FOCS.1962.14}, interhash = {ed8ee4267565239a6276071da9193b48}, intrahash = {bbb3e4f5b0f73d329bef6a841b06e938}, keywords = {dblp}, pages = {123-136}, publisher = {IEEE Computer Society}, timestamp = {2024-07-15T07:16:52.000+0200}, title = {Some theorems for incompletely specified sequential machines with applications to state minimization}, url = {http://dblp.uni-trier.de/db/conf/focs/focs62.html#BeattyM62}, year = 1962 }