Mijn boeken
Catalogus
A complete axiomatization for prefix iteration in branching bisimulation
W.J. Fokkink

A complete axiomatization for prefix iteration in branching bisimulation

PaperbackNederlandsDeel 126 →
In het kort

Lijkt op dit boek

NSTC 500818182 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
A complete axiomatization for prefix iteration in branching bisimulation
W.J. Fokkink

A complete axiomatization for prefix iteration in branching bisimulation

Bestel bij bol →
In het kort

Lijkt op dit boek

Alles bekijken →
NSTC 500818182 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026