Zobrazeno 1 - 10
of 52
pro vyhledávání: '"Yorav, Karen"'
Autor:
Shacham, Ohad, Yorav, Karen
Publikováno v:
In Electronic Notes in Theoretical Computer Science 11 January 2006 144(1):35-50
Publikováno v:
In Electronic Notes in Theoretical Computer Science September 2003 89(3):417-432
Publikováno v:
In Electronic Notes in Theoretical Computer Science October 2002 68(4):559-574
Autor:
Yorav, Karen, Grumberg, Orna
Publikováno v:
In Journal of Logic and Algebraic Programming 2002 52:129-162
Publikováno v:
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers; 2016, p275-293, 19p
Publikováno v:
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings; 2014, p139-154, 16p
Publikováno v:
FM 2012: Formal Methods; 2012, p277-292, 16p
Publikováno v:
2012 Formal Methods in Computer-Aided Design (FMCAD); 1/ 1/2012, p82-90, 9p