Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
5 results · clear filters Sort: newest oldest name
- 43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2023)MathematicsComputer and information sciencese113te1
- 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022)MathematicsComputer and information sciencese113td3
- 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021)MathematicsComputer and information sciencese113tc5
- 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2019, FORTE)MathematicsComputer and information sciencese113ta9
- 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2018, FORTE)MathematicsComputer and information sciencese113t9b