Showing 1 - 1 results of 1 for search 'Cavalli, Ana', query time: 0.01s Refine Results
  1. 1
    Formal description techniques and protocol specification, testing and verification : FORTE XI/PSTV XVIII'98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII), 3-6 November 1998, Paris, France /
    Conference Proceeding Book
    Published 1998
    Other Authors: “…Cavalli, Ana…”
    Publisher description
    Table of contents only
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search