Combining Refinement and Signal-Temporal Logic for Biological Systems

Muhammad Usman Sanwal, Umair Siddique

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    AlkuperäiskieliEi tiedossa
    OtsikkoIntelligent Computer Mathematics
    KustantajaSpringer
    Sivut333–339
    TilaJulkaistu - 2017
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference - 2nd International Conference on Computer Science and Artificial Intelligence
    Kesto: 1 tammikuuta 2018 → …

    Konferenssi

    Konferenssiconference
    Ajanjakso01/01/18 → …

    Viittausmuodot