Showing 1 - 1 results of 1 for search 'Schenke, M', query time: 0.02s
Refine Results
-
1
Provably Correct Systems by He, J, Hoare, C, Fränzle, M, Müller−Olm, M, Olderog, E, Schenke, M, Hansen, M, Ravn, A, Rischel, H
Published 1994Conference item