Search results
Title Branching Time and Abstraction in Bisimulation Semantics Author Ibbotson R. Co-authors Laforest R. Issue data Amsterdam : Stichting Mathematisch Centrum , 1991. - 52. s Edition CWI,nationaal instituut voor onderzoek op het gebied van wiskunde en informatica Copy count 1, currently available 0, at library only 1 Document kind monografie 
book