Deciding Framed Bisimilarity

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

OriginalsprogEngelsk
TitelProceedings of the 4th International Workshop on Verification (INFINITY'02), Brno, Czech Republic, August 24, 2002 : FIMU
Publikationsdato2002
UdgaveRS-2002-04
Sider1-20
StatusUdgivet - 2002
BegivenhedDeciding Framed Bisimilarity -
Varighed: 19 maj 2010 → …

Konference

KonferenceDeciding Framed Bisimilarity
Periode19/05/2010 → …

Citationsformater

Huttel, H. (2002). Deciding Framed Bisimilarity. I Proceedings of the 4th International Workshop on Verification (INFINITY'02), Brno, Czech Republic, August 24, 2002: FIMU (RS-2002-04 udg., s. 1-20)