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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	SAM 2000 (Proceedings 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000)
Redacteuren	E. Sherratt, C. Jard, Y. Lahav
Uitgeverij	VERIMAG, IRISA, SDL Forum
Pagina's	173-188
Status	Gepubliceerd - 2000

Citeer dit

@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). uitgave / E. Sherratt; C. Jard; Y. Lahav. VERIMAG, IRISA, SDL Forum, 2000. blz. 173-188.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -