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.

Référence BibTex

@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}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)