Hannah B Cliff
546  Ergebnisse:
Personensuche X
?
 
?
12

The KELT Follow-up Network and Transit False-positive Catal..:

Collins, Karen A ; Collins, Kevin I ; Pepper, Joshua...
info:eu-repo/semantics/altIdentifier/wos/WOS:000449182800002.  , 2018
 
?
14

Specifying and Reasoning About Shared-Variable Concurrency:

, In: Theories of Programming and Formal Methods; Lecture Notes in Computer Science,
 
?
15

Extending rely-guarantee thinking to handle real-time sched..:

Jones, Cliff B. ; Burns, Alan
Formal Methods in System Design.  62 (2023)  1-3 - p. 119-140 , 2023
 
1-15