Language
Publisher
Subjects
Publication date
- All ( )
- Free, open source ( )
2Result(s)for '"Sifakis Joseph"'
Resource list
By Bliudze Simon Sifakis Joseph in Formal Methods in System Design
ISSN:0925-9856|36|2|167-194
Springer Publishing Company (2010)
Access to resources Favorite 14.234871
By Bryant Randal Grumberg Orna Sifakis Joseph Vardi Moshe in Formal Methods in System Design
ISSN:0925-9856|36|3|195-197
Springer Publishing Company (2010)
Access to resources Favorite 8.896794