1989
Refinement in branching time semantics
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
J.W. Klop (Jan Willem) , J.J.C. Meijer , J.J.M.M. Rutten (Jan) | |
Organisation | Specification and Analysis of Embedded Systems |
van Glabbeek, R., & Weijland, W. P. (1989). Refinement in branching time semantics. In J. W. Klop, J. J. C. Meijer, & J. Rutten (Eds.), J.W. de Bakker, 25 jaar semantiek (pp. 247–252). CWI. |