Adrianna Alexander

Publication Activity (10 Years)

Years Active: 2003-2004
Publications (10 Years): 0

Humboldt University of Berlin (PHD)

Education History

Humboldt University of Berlin

PHD

Publications

Adrianna Alexander, Wolfgang Reisig
Compositional Temporal Logic Based on Partial Order. TIME (2004)
Adrianna Alexander
Composition of Temporal Logic Specifications. ICATPN (2004)
Adrianna Alexander, Wolfgang Reisig
Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. ACSD (2003)