Items where Author is "Joglekar, Manas"
Group by: Category | No Grouping Jump to: Journal Paper Number of items: 1. Journal Paper
Chatterjee, Krishnendu and Henzinger, Monika and Joglekar, Manas and Shah, Nisarg
Formal Methods in System Design, 42 (3).
pp. 301-327
ISSN 0925-9856
Kluwer
(2013)
|