Symtc: Un model checker symbolique performant

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

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

ASJC Scopus subject areas

@article{8ef24cfd4f8147dcab4beb7fd5cdef0a,

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

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 = "International Conference on Computer Science and Its Applications ; Conference date: 15-05-2006 Through 16-05-2006",

}

TY - JOUR

T1 - Symtc

T2 - International Conference on Computer Science and Its Applications

AU - Boudour, Rachid

AU - Djahel, Soufiene

PY - 2006

Y1 - 2006

UR - https://www.scopus.com/pages/publications/84872390570

M3 - Conference article

AN - SCOPUS:84872390570

SN - 2159-7030

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

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

Y2 - 15 May 2006 through 16 May 2006

ER -