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]
Abstract is missing.