Hasil Pencarian - Grigore Rosu

  • Menampilkan 1 - 3 hasil dari 3
Perbaiki Hasil
  1. 1
    Matching Logic

    Matching Logic oleh Grigore Rosu

    Diterbitkan 2017-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Semantics and Algorithms for Parametric Monitoring

    Semantics and Algorithms for Parametric Monitoring oleh Grigore Rosu, Feng Chen

    Diterbitkan 2012-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    All-Path Reachability Logic

    All-Path Reachability Logic oleh Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon Moore, Traian Florin Serbanuta, Grigore Rosu

    Diterbitkan 2019-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: