Language
Publisher
Subjects
Publication date
-
All (
) -
Free, open source ( )
2Result(s)for '"Yorav Karen"'
Resource list
By Yorav Karen Grumberg Orna in Formal Methods in System Design
ISSN:0925-9856|25|1|67-96
Springer Publishing Company (2004)
Access to resources
Favorite
16.707054
By Campos Sérgio Grumberg Orna Yorav Karen Fady Copty in International Journal on Software Tools for Technology Transfer
ISSN:1433-2779|6|2|174-182
Springer Publishing Company (2004)
Access to resources
Favorite
10.44191