( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model checking unbounded concurrent lists.

, , и . Int. J. Softw. Tools Technol. Transf., 18 (4): 375-391 (2016)

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.

Shneh Sethi

Maya Sethi

Mohit Sethi

Vidya Sagar Sethi

Harbaksh S Sethi

 

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

Abstractions for model checking SDN controllers., , и . FMCAD, стр. 145-148. IEEE, (2013)Parameterized Model Checking of Fine Grained Concurrency., , , и . SPIN, том 7385 из Lecture Notes in Computer Science, стр. 208-226. Springer, (2012)Model Checking Unbounded Concurrent Lists., , и . SPIN, том 7976 из Lecture Notes in Computer Science, стр. 320-340. Springer, (2013)Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom., , и . ATVA, том 8837 из Lecture Notes in Computer Science, стр. 330-347. Springer, (2014)Specification and synthesis of hardware checkpointing and rollback mechanisms., , , и . DAC, стр. 1226-1232. ACM, (2012)Specification and encoding of transaction interaction properties., , и . Formal Methods Syst. Des., 39 (2): 144-164 (2011)Model checking unbounded concurrent lists., , и . Int. J. Softw. Tools Technol. Transf., 18 (4): 375-391 (2016)