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.
@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}
}
Charger la référence EndNote (.ref)