Որոնման արդյունքները - 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
    Ստացեք ամբողջական տեքստը Ստացեք ամբողջական տեքստը
    Տեքստ
    Պահել ցուցակում
    Պահպանված է:

Որոնման գործիքներ: