@article{Rabin_1963,
    doi = {10.1016/s0019-9958(63)90290-0},
    url = {https://doi.org/10.1016%2Fs0019-9958%2863%2990290-0},
    year = {1963},
    month = {sep},
    publisher = {Elsevier {BV}},
    volume = {6},
    number = {3},
    pages = {230--245},
    author = {Michael O. Rabin},
    title = {Probabilistic automata},
    journal = {Information and Control}
}

@article{Rabin_1963, doi = {10.1016/s0019-9958(63)90290-0}, url = {https://doi.org/10.1016%2Fs0019-9958%2863%2990290-0}, year = {1963}, month = {sep}, publisher = {Elsevier {BV}}, volume = {6}, number = {3}, pages = {230--245}, author = {Michael O. Rabin}, title = {Probabilistic automata}, journal = {Information and Control} }