Adrianna Alexander

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2004

3 Adrianna Alexander: Composition of Temporal Logic Specifications. ICATPN 2004: 98-116

2 Adrianna Alexander, Wolfgang Reisig: Compositional Temporal Logic Based on Partial Order. TIME 2004: 125-132

2003

1 Adrianna Alexander, Wolfgang Reisig: Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. ACSD 2003: 167-176

	2004
3		Adrianna Alexander: Composition of Temporal Logic Specifications. ICATPN 2004: 98-116
2		Adrianna Alexander, Wolfgang Reisig: Compositional Temporal Logic Based on Partial Order. TIME 2004: 125-132
	2003
1		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]