SYMTC: Un model checker symbolique performant

Translated title of the contribution: SYMTC: A performing symbolic model checker

Rachid Boudour, Soufiene Djahel

Research output: Contribution to journal › Conference article › peer-review

Translated title of the contribution	SYMTC: A performing symbolic model checker
Original language	French
Journal	Proceedings of the International Conference on Computer Science and its Applications
Publication status	Published - 2006
Externally published	Yes
Event	International Conference on Computer Science and Its Applications - Saida, Algeria Duration: 15 May 2006 → 16 May 2006

Cite this

@article{54c596c8bfd2481c8d866ef24c5f7821,

title = "SYMTC: Un model checker symbolique performant",

keywords = "SYMTC, Symbolic model checker",

author = "Rachid Boudour and Soufiene Djahel",

year = "2006",

language = "French",

journal = "Proceedings of the International Conference on Computer Science and its Applications",

issn = "2159-7030",

note = "null ; Conference date: 15-05-2006 Through 16-05-2006",

}

TY - JOUR

T1 - SYMTC

AU - Boudour, Rachid

AU - Djahel, Soufiene

PY - 2006

Y1 - 2006

KW - SYMTC

KW - Symbolic model checker

UR - http://www.scopus.com/inward/record.url?scp=84872390570&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:84872390570

JO - Proceedings of the International Conference on Computer Science and its Applications

JF - Proceedings of the International Conference on Computer Science and its Applications

SN - 2159-7030

Y2 - 15 May 2006 through 16 May 2006

ER -