|
Search the dblp DataBase
Ashvin Dsouza:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma
Supporting sequential assumptions in hybrid verification. [Citation Graph (0, 0)][DBLP] ASP-DAC, 2005, pp:1035-1038 [Conf]
- Ashvin Dsouza, Bard Bloom
Generating BDD Models for Process Algebra Terms. [Citation Graph (0, 0)][DBLP] CAV, 1995, pp:16-30 [Conf]
- Ashvin Dsouza, Bard Bloom
On the Expressive Power of CCS. [Citation Graph (0, 0)][DBLP] FSTTCS, 1995, pp:309-323 [Conf]
- Bard Bloom, Allan Cheng, Ashvin Dsouza
Using a Protean Language to Enhance Expressiveness in Specification. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1997, v:23, n:4, pp:224-234 [Journal]
Search in 0.001secs, Finished in 0.001secs
|