Conference Papers
Year : 2005
Laboratoire CEDRIC : Connect in order to contact the contributor
https://hal.science/hal-01125033
Submitted on : Friday, March 6, 2015-10:56:17 AM
Last modification on : Friday, August 5, 2022-2:54:00 PM
Dates and versions
Identifiers
- HAL Id : hal-01125033 , version 1
Cite
Hacène Sebih, Kamel Barkaoui. A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL. PDPTA'05, Int. Conf. on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, Jan 2005, X, France. pp.1255-1263. ⟨hal-01125033⟩
Collections
23
View
0
Download