Zobrazeno 1 - 10
of 221
pro vyhledávání: '"Pnueli, Amir"'
Publikováno v:
In Information and Computation February 2012 211:138-159
Publikováno v:
Journal of the ACM; Jun2019, Vol. 66 Issue 3, p1-31, 31p
Autor:
Bloem, Roderick, Galler, Stefan, Jobstmann, Barbara, Piterman, Nir, Pnueli, Amir, Weiglhofer, Martin
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2 November 2007 190(4):3-16
Publikováno v:
In Electronic Notes in Theoretical Computer Science 26 May 2006 144(4):73-89
Autor:
Pnueli, Amir, Strichman, Ofer
Publikováno v:
In Electronic Notes in Theoretical Computer Science 19 January 2006 144(2):53-65
Publikováno v:
In Electronic Notes in Theoretical Computer Science 7 December 2005 141(2):69-84
Publikováno v:
In Information and Computation 2005 200(1):35-61
Autor:
Kesten, Yonit, Pnueli, Amir *
Publikováno v:
In Theoretical Computer Science 2005 331(2):397-428
Autor:
Zuck, Lenore *, Pnueli, Amir
Publikováno v:
In Computer Languages, Systems & Structures 2004 30(3):139-169
Publikováno v:
In Electronic Notes in Theoretical Computer Science December 2002 70(4):179-200