( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards an Automatic Proof of the Bakery Algorithm.

, , и . FORTE, том 13910 из Lecture Notes in Computer Science, стр. 21-28. Springer, (2023)

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.

Vishal Goel

Gagan Goel

Balbir Goel

Kanika Goel

Balbir Goel

 

Другие публикации лиц с тем же именем

Towards an Automatic Proof of the Bakery Algorithm., , и . FORTE, том 13910 из Lecture Notes in Computer Science, стр. 21-28. Springer, (2023)iitRACE: A Memory Efficient Engine for Fast Incremental Timing Analysis and Clock Pessimism Removal., , , и . ICCAD, стр. 903-909. IEEE, (2015)SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols., , и . FMCAD, стр. 152-161. IEEE, (2023)Towards an Automatic Proof of Lamport's Paxos., и . FMCAD, стр. 112-122. IEEE, (2021)GlocalNet: Class-aware Long-term Human Motion Synthesis., , , , и . CoRR, (2020)Interaction Mix and Match: Synthesizing Close Interaction using Conditional Hierarchical GAN with Multi-Hot Class Embedding., , и . CoRR, (2022)From Finite to Infinite: Scalable Automatic Verification of Hardware Designs and Distributed Protocols.. University of Michigan, USA, (2021)Regularity and quantification: a new approach to verify distributed protocols., и . Innov. Syst. Softw. Eng., 19 (4): 359-377 (декабря 2023)AVR: Abstractly Verifying Reachability., и . TACAS (1), том 12078 из Lecture Notes in Computer Science, стр. 413-422. Springer, (2020)Identifying Maps on the World Wide Web., , и . GIScience, том 5266 из Lecture Notes in Computer Science, стр. 249-260. Springer, (2008)