Language
Publisher
Subjects
- All ( )
- Free, open source ( )
5Result(s)for '"Alur Rajeev"'
Resource list
By Alur Rajeev A. Thomas in International Journal on Software Tools for Technology Transfer
ISSN:1433-2779|1|1-2|86-109
Springer Publishing Company (1997)
Access to resources Favorite 17.29187
By Alur Rajeev McMillan Ken Peled Doron in Formal Methods in System Design
ISSN:0925-9856|26|1|7-25
Springer Publishing Company (2005)
Access to resources Favorite 12.968903
By Alur Rajeev Kannan Sampath La Torre Salvatore in Formal Methods in System Design
ISSN:0925-9856|24|3|261-280
Springer Publishing Company (2004)
Access to resources Favorite 12.968903
By Jiang Zhihao Pajic Miroslav Alur Rajeev Mangharam Rahul in International Journal on Software Tools for Technology Transfer
ISSN:1433-2779|16|2|191-213
Springer Publishing Company (2014)
Access to resources Favorite 10.807419
By Alur Rajeev Arney David Gunter Elsa L. Lee Insup Lee Jaime Nam Wonhong Pearce Frederick Van Albert Steve Zhou Jiaxiang in International Journal on Software Tools for Technology Transfer
ISSN:1433-2779|5|4|308-319
Springer Publishing Company (2004)
Access to resources Favorite 7.024742