History
1
au:Batchu, S*
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Verification of analog/Mixed-signal circuits using labeled hybrid Petri nets. (English)
IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 30, No. 4, 617-630 (2011).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!