Hereditary History Preserving Bisimilarity Is Undecidable

Marcin Jurdzinski, Mogens Nielsen

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

    OriginalsprogEngelsk
    BogserieB R I C S Report Series
    NummerRS-99-19
    Antal sider18
    ISSN0909-0878
    StatusUdgivet - 1999

    Citationsformater