Minimizing Finite Complete Prefixes

K. Heljanko

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    OtsikkoWorkshop Concurrency, Specification & Programming '99 (CS&P '99), Varsova, Puola, 28.-30.9.1999
    ToimittajatH.-D. Burkhard, L. Czaja, H.-S. Nguyen, P. Starke
    JulkaisupaikkaVarsova, Puola
    KustantajaWarsaw University
    Sivut83-95
    TilaJulkaistu - 1999
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

    • finite complete prefixes
    • petri nets
    • unfolding

    Siteeraa tätä