Similar Items

• The Formal description technique Estelle : results of the ESPRIT/SEDOS Project /
  Published: (1989)
• Using formal description techniques: an introduction to Estelle,LOTOS, and SDL/
  Published: (1993)
• Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
  Published: (2001)
• Formal description techniques, V= Formal description techniques, 5= Formal description techniques, five : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992/
  Published: (1993)
• Formal description techniques, VI= FORTE '93 : proceedings of the IFIPTC6/WG6.1 sixth International Conference on Formal DescriptionTechniques, FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993/
  Published: (1994)