CIC:Bouajjani95a

Ahmed Bouajjani, Rachid Echahed, Peter Habermehl. Verifying infinite state process with sequential and parallel composition. In Proc. of the 22nd ACM Symposium on POPL, Pages 95-106, San Francisco, California, 1995.

BibTex Reference

@InProceedings{CIC:Bouajjani95a,
   Author = {Bouajjani, Ahmed and Echahed, Rachid and Habermehl, Peter},
   Title = {{Verifying infinite state process with sequential and parallel composition}},
   BookTitle = {Proc. of the 22nd ACM Symposium on POPL},
   Pages = {95--106},
   Address = {San Francisco, California},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)