Adrianna Alexander

2004
3	EE	Adrianna Alexander: Composition of Temporal Logic Specifications. ICATPN 2004: 98-116
2	EE	Adrianna Alexander, Wolfgang Reisig: Compositional Temporal Logic Based on Partial Order. TIME 2004: 125-132
2003
1	EE	Adrianna Alexander, Wolfgang Reisig: Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. ACSD 2003: 167-176

Coauthor Index

1

Wolfgang Reisig

[1] [2]