Deterministic omega-regular liveness properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frank Nießner, Ulrich Nitsche, Peter Ochsenschläger. Deterministic omega-regular liveness properties. In Symeon Bozapalidis, editor, Proceedings of the 3rd International Conference Developments in Language Theory, DLT 1997, Thessaloniki, Greece, July 20-23, 1997. pages 237-248, Aristotle University of Thessaloniki, 1997.

This author has not been identified. Look up 'Frank Nießner' in GoogleThis author has not been identified. Look up 'Ulrich Nitsche' in GoogleThis author has not been identified. Look up 'Peter Ochsenschläger' in Google

runs on WebDSL