@inproceedings{Bouajjani,
    doi = {10.1109/lics.1995.523250},
    url = {https://doi.org/10.1109%2Flics.1995.523250},
    publisher = {{IEEE}},
    author = {A. Bouajjani and R. Echahed and P. Habermehl},
    title = {On the verification problem of nonregular properties for nonregular processes},
    booktitle = {Proceedings of Tenth Annual {IEEE} Symposium on Logic in Computer Science}
}

@inproceedings{Bouajjani, doi = {10.1109/lics.1995.523250}, url = {https://doi.org/10.1109%2Flics.1995.523250}, publisher = {{IEEE}}, author = {A. Bouajjani and R. Echahed and P. Habermehl}, title = {On the verification problem of nonregular properties for nonregular processes}, booktitle = {Proceedings of Tenth Annual {IEEE} Symposium on Logic in Computer Science} }