Travelled to:
2 × USA
Collaborated with:
W.Emmerich A.Finkelstein
Talks about:
consist (2) distribut (1) static (1) specif (1) repair (1) action (1) manag (1) check (1)
Person: Christian Nentwich
DBLP: Nentwich:Christian
Contributed to:
Wrote 2 papers:
- ICSE-2003-NentwichEF #consistency
- Consistency Management with Repair Actions (CN, WE, AF), pp. 455–464.
- ASE-2001-NentwichEF #consistency #distributed #specification
- Static Consistency Checking for Distributed Specifications (CN, WE, AF), p. 115–?.