Paper: On the Verification Problem of Nonregular Properties for Nonregular Processes (at LICS 1995)
Authors:
Ahmed Bouajjani Rachid Echahed Peter HabermehlAbstract
BibTeX
@InProceedings{BouajjaniEchahedHab-OntheVerificationPr,
author = {Ahmed Bouajjani and Rachid Echahed and Peter Habermehl},
title = {On the Verification Problem of Nonregular Properties for Nonregular Processes},
booktitle = {Proceedings of the Tenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1995},
year = 1995,
editor = {Dexter Kozen},
month = {June},
pages = {123-133},
location = {San Diego, CA, USA},
publisher = {IEEE Computer Society Press}
}