Languages
FORTE (Conference) (2017 :)
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Formal techniques for distributed objects, components, and systems = 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings /
by:
FORTE (Conference) (2017 :); Bouajjani, Ahmed.; Silva, Alexandra.; SpringerLink (Online service)
(Electronic resources)