Search for persons
X
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
3
Leveraging Static Analysis: An IDE for RTLola:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
5
Reactive Synthesis of Smart Contract Control Flows:
, In:
?
Pflegewissenschaft
9
Herausforderungen bei der Rekrutierung und Durchführung ei..
, In:Erfahrungen einer empirischen Untersuchung im stationären ...
Copies: Zentrale; TB Sozialw.;