Bolognesi, Tommaso

ID:DA08924604

Search authors sharing the same name

Search Results1-2 of 2

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

edited by Tommaso Bolognesi, Diego Latella

Kluwer Academic Publishers c2000 The International Federation for Information Processing 55

Available at 8 libraries
2

LOTOSphere : software development with LOTOS

edited by Tommaso Bolognesi, Jeroen van de Lagemaat, and Chris Vissers

Kluwer Academic Publishers 1995

Available at 12 libraries

Search this author

Related Authors