A Characterization of Finitary Bisimulation

Luca Aceto, Anna Ingolfsdottir

Publikation: Bog/antologi/afhandling/rapportBogForskning

3 Citationer (Scopus)
OriginalsprogEngelsk
Udgivelses stedÅrhus
ForlagDepartment of Computer Science, Aarhus University
StatusUdgivet - 1997
NavnBRICS Report Series
NummerRS-97-26
ISSN0909-0878

Citer dette

Aceto, L., & Ingolfsdottir, A. (1997). A Characterization of Finitary Bisimulation. Århus: Department of Computer Science, Aarhus University. BRICS Report Series, Nr. RS-97-26
Aceto, Luca ; Ingolfsdottir, Anna. / A Characterization of Finitary Bisimulation. Århus : Department of Computer Science, Aarhus University, 1997. (BRICS Report Series; Nr. RS-97-26).
@book{fd652500003211dab4d5000ea68e967b,
title = "A Characterization of Finitary Bisimulation",
author = "Luca Aceto and Anna Ingolfsdottir",
year = "1997",
language = "English",
series = "BRICS Report Series",
number = "RS-97-26",
publisher = "Department of Computer Science, Aarhus University",
address = "Denmark",

}

Aceto, L & Ingolfsdottir, A 1997, A Characterization of Finitary Bisimulation. BRICS Report Series, nr. RS-97-26, Department of Computer Science, Aarhus University, Århus.

A Characterization of Finitary Bisimulation. / Aceto, Luca; Ingolfsdottir, Anna.

Århus : Department of Computer Science, Aarhus University, 1997. (BRICS Report Series; Nr. RS-97-26).

Publikation: Bog/antologi/afhandling/rapportBogForskning

TY - BOOK

T1 - A Characterization of Finitary Bisimulation

AU - Aceto, Luca

AU - Ingolfsdottir, Anna

PY - 1997

Y1 - 1997

M3 - Book

T3 - BRICS Report Series

BT - A Characterization of Finitary Bisimulation

PB - Department of Computer Science, Aarhus University

CY - Århus

ER -

Aceto L, Ingolfsdottir A. A Characterization of Finitary Bisimulation. Århus: Department of Computer Science, Aarhus University, 1997. (BRICS Report Series; Nr. RS-97-26).