Showing 1 - 4 results of 4 for search 'Sonalkar, S', query time: 0.02s
Refine Results
-
1
Existential abstractions for distributed reactive systems via syntactic transformations by D'Silva, V, Sonalkar, S, Ramesh, S
Published 2007Conference item -
2
-
3
A Toolset for Modelling and Verification of GALS Systems by Ramesh, S, Sonalkar, S, D'Silva, V, Chandra, N, Vijayalakshmi, B
Published 2004Conference item -
4