Bolognesi, Tommaso.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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/
by:
Bolognesi, Tommaso.; Latella, Diego.; IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification ((2000 :)
(Language materials, printed)
LOTOSphere : = software development with LOTOS /
by:
Bolognesi, Tommaso.; Lagemaat, Jeroen van de.; Vissers, Chris, (1941-)
(Language materials, printed)