Zoekresultaten
Resultaat 1 - 1 (van 1)
R.J. van Glabbeek | W.P. Weijland Branching time and abstraction in bisimulation semantics
(extended abstract)
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek