Formal Methods and Telecommunications

• Authors: AJMONE MARSAN, Marco Giuseppe; J., Quemada; T., Robles; M., Silva
• Venue/Journal/Book: null
• Year: 1999
• Record on IRIS repository: Formal Methods and Telecommunications