Ahmed Bouajjani, Rachid Echahed, Peter Habermehl
On the Verification Problem of Nonregular Properties for Nonregular Processes
LICS, 1995.
@inproceedings{LICS-1995-BouajjaniEH,
author = "Ahmed Bouajjani and Rachid Echahed and Peter Habermehl",
booktitle = "{Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.1995.523250",
isbn = "0-8186-7050-9",
pages = "123--133",
publisher = "{IEEE Computer Society}",
title = "{On the Verification Problem of Nonregular Properties for Nonregular Processes}",
year = 1995,
}