BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nitsche:Ulrich

Contributed to:

DLT 19971997
CAV 19961996
DLT 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.