|
Search the dblp DataBase
Bhaskar Pal:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta
Test generation games from formal specifications. [Citation Graph (0, 0)][DBLP] DAC, 2006, pp:827-832 [Conf]
- Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
The BUSpec platform for automated generation of verification aids for standard bus protocols. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2004, pp:119-128 [Conf]
- Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
BUSpec: A framework for generation of verification aids for standard bus protocol specifications. [Citation Graph (0, 0)][DBLP] Integration, 2007, v:40, n:3, pp:285-304 [Journal]
Search in 0.001secs, Finished in 0.001secs
|