dblp.uni-trier.dewww.uni-trier.de

Ashvin Dsouza

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
4EEEduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma: Supporting sequential assumptions in hybrid verification. ASP-DAC 2005: 1035-1038
1997
3EEBard 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

Coauthor Index

1Bard Bloom [1] [2] [3]
2Eduard Cerny [4]
3Allan Cheng [3]
4Kevin Harer [4]
5Pei-Hsin Ho [4]
6Hi-Keung Tony Ma [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)