kongre.net'e hoş geldiniz
Konuşmacı
Alexandre Rademaker şu etkinlikte konuşuyor: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications (ReacTS 2026) (Malta, Malta, 24 Nov 2026) in the session “A Reusable Formalisation of Hennessy–Milner Logic for Arbitrary Transition Systems in Lean”.
24 Nov 2026Malta, Malta
University of Aveiro (Portugal)
Bu profil kongre.net'te yayımlanan konferans programlarından derlenmiştir. Alexandre Rademaker tarafından sahiplenilmemiş veya onaylanmamıştır ve yalnızca bu programlarda adı geçen konuşmaları, oturumları ve sunumları listeler.
Bu siz misiniz? Bu profili sahiplenin — her talep, bağlantı kurulmadan önce bir kişi tarafından okunur.
Düzeltme veya bu profilin kaldırılmasını istemek için şu adrese yazın: [email protected].