Yael Yariv

List of publications from the DBLP Bibliography Server - FAQ

2003

1 EE Michael Kaminski, Yael Yariv: A Real-time Semantics of Temporal Logic of Actions. J. Log. Comput. 13(6): 921-937 (2003)

2003
1	EE	Michael Kaminski, Yael Yariv: A Real-time Semantics of Temporal Logic of Actions. J. Log. Comput. 13(6): 921-937 (2003)

Coauthor Index