Narrow your search

Library

UNamur (1)


Resource type

book (1)


Language

English (1)


Year
From To Submit

1990 (1)

Listing 1 - 1 of 1
Sort by

Book
Explicit canonical representatives for weak bisimulation equivalence and congruence
Author:
Year: 1990 Publisher: Amsterdam: Centrum voor wiskunde en informatica,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 1 of 1
Sort by