| |
| 2005 | ||
|---|---|---|
| 4 | EE | Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma: Supporting sequential assumptions in hybrid verification. ASP-DAC 2005: 1035-1038 |
| 1997 | ||
| 3 | EE | Bard Bloom, Allan Cheng, Ashvin Dsouza: Using a Protean Language to Enhance Expressiveness in Specification. IEEE Trans. Software Eng. 23(4): 224-234 (1997) |
| 1995 | ||
| 2 | Ashvin Dsouza, Bard Bloom: Generating BDD Models for Process Algebra Terms. CAV 1995: 16-30 | |
| 1 | Ashvin Dsouza, Bard Bloom: On the Expressive Power of CCS. FSTTCS 1995: 309-323 | |
| 1 | Bard Bloom | [1] [2] [3] |
| 2 | Eduard Cerny | [4] |
| 3 | Allan Cheng | [3] |
| 4 | Kevin Harer | [4] |
| 5 | Pei-Hsin Ho | [4] |
| 6 | Hi-Keung Tony Ma | [4] |