|
 
|
[SB05] A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL
Conférence Internationale avec comité de lecture : PDPTA'05, Int. Conf. on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, January 2005, pp.1255-1263,
motcle:
Résumé:
BibTeX
| @inproceedings { | |||
| SB05, | |||
| title | = | "{A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL}", | |
| author | = | " H. Sebih and K. Barkaoui ", | |
| booktitle | = | "{PDPTA'05, Int. Conf. on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA}", | |
| year | = | 2005, | |
| month | = | "January", | |
| pages | = | "1255-1263", | |
| } | |||
