Probabilities in the TorX test derivation algorithm

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationSAM 2000 (Proceedings 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000)
EditorsE. Sherratt, C. Jard, Y. Lahav
PublisherVERIMAG, IRISA, SDL Forum
Publication statusPublished - 2000

Cite this