( en | de | ru )

 

Disambiguation of "Singhal, Vigyan"

Author of the publication

copydeleteadd this publication to your clipboard
The Verifiacation Problem for Safe Replaceability.

, and . CAV, volume 818 of Lecture Notes in Computer Science, page 311-323. Springer, (1994)

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.

Anil Singhal

Nishant Singhal

Rohit Singhal

Ashok Kumar Singhal

 

Other publications of authors with the same name

Equivalences for Fair Kripke Structures., , , , and . ICALP, volume 820 of Lecture Notes in Computer Science, page 364-375. Springer, (1994)The Verifiacation Problem for Safe Replaceability., and . CAV, volume 818 of Lecture Notes in Computer Science, page 311-323. Springer, (1994)Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists., , , and . CAV, volume 1633 of Lecture Notes in Computer Science, page 72-83. Springer, (1999)Optimizing designs containing black boxes., , and . ACM Trans. Design Autom. Electr. Syst., 6 (4): 591-601 (2001)Compositional Reasoning Gotchas in Practice., , , , and . FMCAD, page 17-24. IEEE, (2015)BDD Decomposition for Efficient Logic Synthesis., , and . ICCD, page 626-. IEEE Computer Society, (1999)Formula-Dependent Equivalence for Compositional CTL Model Checking., , , , and . Formal Methods Syst. Des., 21 (2): 193-224 (2002)Model-checking continous-time Markov chains., , , and . ACM Trans. Comput. Log., 1 (1): 162-170 (2000)Sequential optimization in the absence of global reset., , , , and . ACM Trans. Design Autom. Electr. Syst., 8 (2): 222-251 (2003)It Usually Works: The Temporal Logic of Stochastic Systems., , and . CAV, volume 939 of Lecture Notes in Computer Science, page 155-165. Springer, (1995)