Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Saʼar, Yaniv"'
Publikováno v:
In Journal of Computer and System Sciences May 2012 78(3):911-938
Publikováno v:
In Journal of Computer and System Sciences May 2012 78(3):853-876
Publikováno v:
Computer Aided Verification (9783642142949); 2010, p171-174, 4p
Publikováno v:
Computer Aided Verification (9783642142949); 2010, p543-557, 15p
Publikováno v:
Computer Aided Verification (9783642142949); 2010, p558-561, 4p
Autor:
Pnueli, Amir, Sa΄ar, Yaniv
Publikováno v:
Verification, Model Checking & Abstract Interpretation (9783540781622); 2008, p233-247, 15p