@inproceedings{89590,
    Author = {{Kaminski}, M. and {Francez}, N.},
    BookTitle = {Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science},
    File = {Finite-Memory Automata - finitememory-automata.pdf},
    Pages = {683-688 vol.2},
    Title = {Finite-memory automata},
    Year = {1990},
    bdsk-url-1 = {https://doi.org/10.1109/FSCS.1990.89590},
    date-added = {2021-04-07 14:12:42 +0200},
    date-modified = {2021-04-07 14:12:42 +0200},
    doi = {10.1109/FSCS.1990.89590}
}

@inproceedings{89590, Author = {{Kaminski}, M. and {Francez}, N.}, BookTitle = {Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science}, File = {Finite-Memory Automata - finitememory-automata.pdf}, Pages = {683-688 vol.2}, Title = {Finite-memory automata}, Year = {1990}, bdsk-url-1 = {https://doi.org/10.1109/FSCS.1990.89590}, date-added = {2021-04-07 14:12:42 +0200}, date-modified = {2021-04-07 14:12:42 +0200}, doi = {10.1109/FSCS.1990.89590} }