CIC:Bouajjani95b

Ahmed Bouajjani, Peter Habermehl, Rachid Echahed. On the verification problem of nonregular properties for nonregular processes. In Proc. of the 10th IEEE Symposium on Logic in Computer Science, LICS, San Diego, California, 1995.

BibTex Reference

@InProceedings{CIC:Bouajjani95b,
   Author = {Bouajjani, Ahmed and Habermehl, Peter and Echahed, Rachid},
   Title = {{On the verification problem of nonregular properties for nonregular processes}},
   BookTitle = {Proc. of the 10th IEEE Symposium on Logic in Computer Science, LICS},
   Address = {San Diego, California},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)