( en | de | ru )

 

Disambiguation of "Swamy, Gitanjali"

Author of the publication

copydeleteadd this publication to your clipboard
VIS.

, , , , , , , , , , , , , , , and . FMCAD, volume 1166 of Lecture Notes in Computer Science, page 248-256. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mahima Swamy

Seetha Swamy

Gitanjali Dharmadhikari

Gitanjali Dharmadhkari

Nikhil Swamy

 

Other publications of authors with the same name

VIS: A System for Verification and Synthesis., , , , , , , , , and 6 other author(s). CAV, volume 1102 of Lecture Notes in Computer Science, page 428-432. Springer, (1996)Incremental methods for FSM traversal., , and . ICCD, page 590-595. IEEE Computer Society, (1995)Formal Verification of Digital Systems.. VLSI Design, page 213-217. IEEE Computer Society, (1997)Efficient Verification and Synthesis using Design Commonalities., , and . VLSI Design, page 542-551. IEEE Computer Society, (1998)Incremental formal design verification., and . ICCAD, page 458-465. IEEE Computer Society / ACM, (1994)VIS., , , , , , , , , and 6 other author(s). FMCAD, volume 1166 of Lecture Notes in Computer Science, page 248-256. Springer, (1996)Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment., , , and . ICCD, page 255-261. IEEE Computer Society, (1994)