Showing 1 - 3 results of 3 for search 'Kirsch, C', query time: 0.02s
Refine Results
-
1
-
2
-
3
Existential abstractions for distributed reactive systems via syntactic transformations by D'Silva, V, Sonalkar, S, Ramesh, S
Published 2007Other Authors: “…Kirsch, C…”
Conference item