نتائج البحث - Lang, Frédéric

  • يعرض 1 - 2 نتائج من 2
تنقيح النتائج
  1. 1
    Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

    Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities حسب Lang, Frédéric, Mateescu, Radu, Mazzanti, Franco

    منشور في 2020
    احصل على النص الكامل احصل على النص الكامل
    نص
    أضف إلى المفضلة
    محفوظ في:
  2. 2
    Combining SLiVER with CADP to Analyze Multi-agent Systems

    Combining SLiVER with CADP to Analyze Multi-agent Systems حسب Di Stefano, Luca, Lang, Frédéric, Serwe, Wendelin

    منشور في 2020
    احصل على النص الكامل احصل على النص الكامل
    نص
    أضف إلى المفضلة
    محفوظ في:

أدوات البحث: