LCF-style for Secure Verification Platform based on Multiway Decision Graphs

Sa ed Abed, Otmane Aït Mohamed. LCF-style for Secure Verification Platform based on Multiway Decision Graphs. In Abdelmalek Amine, Otmane Aït Mohamed, Zakaria Elberrichi, editors, Proceedings of the 2nd Conférence Internationale sur l Informatique et ses Applications (CIIA 09), Saida, Algeria, May 3-4, 2009. Volume 547 of CEUR Workshop Proceedings, CEUR-WS.org, 2009. [doi]

Authors

Sa ed Abed

This author has not been identified. Look up 'Sa ed Abed' in Google

Otmane Aït Mohamed

This author has not been identified. Look up 'Otmane Aït Mohamed' in Google