( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A solution of an interleaving decision problem by a partial order technique.

, и . Partial Order Methods in Verification, том 29 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 203-211. DIMACS/AMS, (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.

Andrew Rabinovich

Roman Rabinovich

Amir Moshe

Max Mosheim

Moshe Pinus

 

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

A Logic of Probability with Decidable Model-Checking., , и . CSL, том 2471 из Lecture Notes in Computer Science, стр. 306-321. Springer, (2002)Sequence Based Methods for Data Transmission and Source Compression., , и . AAECC, том 673 из Lecture Notes in Computer Science, стр. 1-12. Springer, (1993)Star free expressions over the reals.. Theor. Comput. Sci., 233 (1-2): 233-245 (2000)Nets and Data Flow Interpreters, и . LICS, стр. 164-174. IEEE Computer Society, (1989)Quantitative Temporal Logic., и . CSL, том 1683 из Lecture Notes in Computer Science, стр. 172-187. Springer, (1999)The Boundary Between Decidability and Undecidability for Transitive-Closure Logics., , , , и . CSL, том 3210 из Lecture Notes in Computer Science, стр. 160-174. Springer, (2004)From Finite Automata toward Hybrid Systems (Extended Abstract)., и . FCT, том 1279 из Lecture Notes in Computer Science, стр. 411-422. Springer, (1997)Definability and Undefinability with Real Order at The Background., и . J. Symb. Log., 65 (2): 946-958 (2000)Nets and processes. Tel Aviv University, Israel, (1988)Tel Aviv University Library.Covering Properties of Binary Convolutional Codes and Lattice Quantization of Uniform Sources., , и . Coding And Quantization, том 14 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 153-159. DIMACS/AMS, (1992)