Merkliste 
 1 Ergebnisse 
 
1

Instantaneous reaction-time in dynamic consistency checking..:

Cairo, Massimo ; Comin, Carlo ; Rizzi, Romeo
Journal of Logical and Algebraic Methods in Programming.  113 (2020)  - p. 100542 , 2020