Partial Order Reductions for Timed Systems

Johan Bengtsson, Bengt Jonsson, Johan Lilius, Yi Wang

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    108 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoCONCUR'98 Concurrency Theory - 9th International Conference Nice, France, September 8–11, 1998 Proceedings
    ToimittajatDavide Sangiorgi, Robert de Simone
    Sivut485–500
    ISBN (elektroninen)978-3-540-68455-8
    DOI - pysyväislinkit
    TilaJulkaistu - 1998
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 1998-09-08; 1998-09-11 - 9th International Conference CONCUR'98 Concurrency Theory
    Kesto: 8 syysk. 199811 syysk. 1998

    Konferenssi

    Konferenssiconference; 1998-09-08; 1998-09-11
    Ajanjakso08/09/9811/09/98

    Viittausmuodot