Showing 1 - 2 results of 2 for search 'Bolognesi, Tommaso', query time: 0.02s Narrow Search
  1. 1
    Formal Methods for Distributed System Development FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
    Published 2000
    Other Authors: “…Bolognesi, Tommaso…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    LOTOSphere: Software Development with LOTOS
    Published 1995
    Other Authors: “…Bolognesi, Tommaso…”
    Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: