Rechercher

[SBB03] Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets

Conférence Internationale avec comité de lecture : 1st Int'l Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taiwan,, January 2003,

Auteurs: H. Sebih , K. Barkaoui , M. Bettaz , F. Belala , Z. Sahnoun

motcle:
Résumé:

Collaboration: LIRE
Download

BibTeX

@inproceedings {
SBB03,
title="{Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets}",
author=" H. Sebih and K. Barkaoui and M. Bettaz and F. Belala and Z. Sahnoun ",
booktitle="{1st Int'l Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taiwan,}",
year=2003,
month="January",
}