Marco Daniele

	1999
2		Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi: Improved Automata Generation for Linear Temporal Logic. CAV 1999: 249-260
1		Marco Daniele, Paolo Traverso, Moshe Y. Vardi: Strong Cyclic Planning Revisited. ECP 1999: 35-48

Coauthor Index

1	Fausto Giunchiglia	[2]
2	Paolo Traverso	[1]
3	Moshe Y. Vardi	[1] [2]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page