A Complete Characterization of Deterministic Regular Liveness Properties

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.

Abstract

Abstract is missing.