FORTE 2024(CCF C)发表时间:2024-01-09 14:48 【计算机网络】 FORTE 2024 International Conference on Formal Techniques for (Networked and) Distributed Systems June 17-21, 2024 Groningen, The Netherlands CCF C NOTE: abstract deadline on Feb 3, 2024. Deadline: Sat Feb 10th 2024 19:59:59 CST (2024-02-09 23:59:59 UTC-12) website: https://www.discotec.org/2024/forte |