[IEEE Comput. Soc 10th International Symposium on Temporal...

  • Main
  • [IEEE Comput. Soc 10th International...

[IEEE Comput. Soc 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic. TIME-ICTL 2003 - Cairns, Qld., Australia (8-10 July 2003)] 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. - Towards symbolic strategy synthesis for >>A<<-LTL

Harding, A., Ryan, M., Schobbens, P.-Y.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2003
Language:
english
DOI:
10.1109/time.2003.1214889
File:
PDF, 481 KB
english, 2003
Conversion to is in progress
Conversion to is failed