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

Subhankar Mukherjee Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubhankar Mukherjee, Pallab Dasgupta: Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions. VLSI Design 2011: 52-57
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay: Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions. IEEE Trans. on CAD of Integrated Circuits and Systems 30(10): 1446-1457 (2011)
2009
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubhankar Mukherjee, Antara Ain, S. K. Panda, Rajdeep Mukhopadhyay, Pallab Dasgupta: A formal approach for specification-driven AMS behavioral model generation. DATE 2009: 1512-1517

Coauthor Index

1Antara Ain [1]
2Pallab Dasgupta [1] [2] [3]
3Rajdeep Mukhopadhyay [1]
4Siddhartha Mukhopadhyay [2]
5S. K. Panda [1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page