Adrianna Alexander

	2006
4		Adrianna Alexander: Komposition temporallogischer Spezifikationen: Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions. Humboldt University of Berlin 2006: 1-262
	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]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page