Minea, Marius

• International Journal of Computing 2003, Volume 2, Issue 3 - Articles
  EXPERIENCE WITH FORMAL VERIFICATION OF SDL PROTOCOLS
  Abstract  PDF