I. A. Draghicescu

Publications (2)0 Total impact

• Article: A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata.

  Edmund M. Clarke, I. A. Draghicescu, Robert P. Kurshan
  Inf. Process. Lett. 01/1993; 46:301-308.
• Source

  Available from: cmu.edu

  Conference Proceeding: Expressibility results for linear-time and branching-time logics.

  Edmund M. Clarke, I. A. Draghicescu
  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