Language
Publisher
Subjects
Publication date
-
All (
)
-
Free, open source (
)
1Result(s)for '"Heyman Tamir"'
Resource list
By Grumberg Orna Heyman Tamir Schuster Assaf in Formal Methods in System Design
ISSN:0925-9856|29|2|157-175
Springer Publishing Company (2006)
Access to resources
Favorite
12.622641