2 Matching Annotations
- Aug 2020
-
www.thelancet.com www.thelancet.com
-
Lancet, T. (2020). Research and higher education in the time of COVID-19. The Lancet, 396(10251), 583. https://doi.org/10.1016/S0140-6736(20)31818-3
-
- Mar 2019
-
fldit-www.cs.uni-dortmund.de fldit-www.cs.uni-dortmund.de
-
Eine beliebte Klassifizierung dynamischer Eigenschaften liefert die Unterscheidung inSicherheitsbedin-gungen(safety conditions) auf der eine Seite undLebendigkeitsbedingungen(liveness conditions) auf deranderen Seite. Nach [14], S. 94, schließt eine Sicherheitsbedingung das Auftreten von etwas Schlechtem aus, wäh-rend eine Lebendigkeitsbedingung das Auftreten von etwas Gutem garantiert. E
-