Probabilities in the TorX test derivation algorithm

L.M.G. Feijs; N. Goga; S. Mauw

Probabilities in the TorX test derivation algorithm

L.M.G. Feijs, N. Goga, S. Mauw

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	SAM 2000 (Proceedings 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000)
Editors	E. Sherratt, C. Jard, Y. Lahav
Publisher	VERIMAG, IRISA, SDL Forum
Pages	173-188
Publication status	Published - 2000

Cite this

@inproceedings{e8e9ba309082484195bbbcd0a8b99e7a,

title = "Probabilities in the TorX test derivation algorithm",

author = "L.M.G. Feijs and N. Goga and S. Mauw",

year = "2000",

language = "English",

pages = "173--188",

editor = "E. Sherratt and C. Jard and Y. Lahav",

booktitle = "SAM 2000 (Proceedings 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000)",

publisher = "VERIMAG, IRISA, SDL Forum",

}

Probabilities in the TorX test derivation algorithm. / Feijs, L.M.G.; Goga, N.; Mauw, S.
SAM 2000 (Proceedings 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000). ed. / E. Sherratt; C. Jard; Y. Lahav. VERIMAG, IRISA, SDL Forum, 2000. p. 173-188.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Probabilities in the TorX test derivation algorithm

AU - Feijs, L.M.G.

AU - Goga, N.

AU - Mauw, S.

PY - 2000

Y1 - 2000

M3 - Conference contribution

SP - 173

EP - 188

BT - SAM 2000 (Proceedings 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000)

A2 - Sherratt, E.

A2 - Jard, C.

A2 - Lahav, Y.

PB - VERIMAG, IRISA, SDL Forum

ER -