Arkadi Estrin

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002

2 EE Arkadi Estrin, Michael Kaminski: The Expressive Power of Temporal Logic of Actions. J. Log. Comput. 12(5): 839-859 (2002)

1999

1 EE Arkadi Estrin, Michael Kaminski: The Expressive Power of Temporal Logic of Actions (Extended Abstract). CONCUR 1999: 274-287

2002
2	EE	Arkadi Estrin, Michael Kaminski: The Expressive Power of Temporal Logic of Actions. J. Log. Comput. 12(5): 839-859 (2002)
1999
1	EE	Arkadi Estrin, Michael Kaminski: The Expressive Power of Temporal Logic of Actions (Extended Abstract). CONCUR 1999: 274-287

Coauthor Index

1 Michael Kaminski [1] [2]