Publications (2)0 Total impact
Article: A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata.Inf. Process. Lett. 01/1993; 46:301-308.
Conference Proceeding: Expressibility results for linear-time and branching-time logics.Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings; 01/1988