A Complete Characterization of Deterministic Regular Liveness Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frank Nießner, Ulrich Ultes-Nitsche. A Complete Characterization of Deterministic Regular Liveness Properties. In Hing Leung, Giovanni Pighizzini, editors, 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings. pages 211-222, New Mexico State University, Las Cruces, New Mexico, USA, 2006.

This author has not been identified. Look up 'Frank Nießner' in GoogleThis author has not been identified. Look up 'Ulrich Ultes-Nitsche' in Google

runs on WebDSL