Concepedia
Statistics
Publications
1
Citations
35
H-Index
Active since
1995
Ingrid Luitjes is an author specializing in real-time systems, computer science, and delay modeling.
Publications per year
1995–1995
Verification of Logic Programs with Delay Declarations
Krzysztof R. Apt, Ingrid Luitjes, Maurice Nivat et al. · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1995 · 35 citations · Full text
Computing, Computer Engineering, Computer Science +14
1–1 of 1