Travelled to:1 × Germany
1 × Greece
1 × USA
Collaborated with:P.Ochsenschläger ∅ F.Nießner C.Capellmann R.Demant F.Fatahi-Vanani R.Galvez-Estrada
Talks about:determinist (1) behaviour (1) telephon (1) proposit (1) properti (1) interact (1) intellig (1) finitari (1) abstract (1) regular (1)
Person: Ulrich Nitsche
DBLP: Nitsche:Ulrich
Contributed to:
1997
19961995Wrote 3 papers:
- DLT-1997-NiessnerNO #liveness
- Deterministic ω-regular liveness properties (FN, UN, PO), pp. 237–248.
- CAV-1996-CapellmannDFGNO #abstraction #behaviour #case study #detection #interactive #network #verification
- Verification by Behaviour Abstraction — A Case Study of Service Interaction Detection in Intelligent Telephone Networks (CC, RD, FFV, RGE, UN, PO), pp. 466–469.
- DLT-1995-Nitsche #linear #logic #semantics
- A Finitary-Language Semantics for Propositional Linear Temporal Logic (UN), pp. 482–489.