Travelled to:1 × The Netherlands
Collaborated with:L.J.Somers M.Voorhoeve M.J.v.Diepen
Talks about:exspect (1) between (1) algebra (1) semant (1) formal (1) relat (1) petri (1) level (1) tool (1) link (1)
Person: Kees M. van Hee
DBLP: Hee:Kees_M=_van
Contributed to:
19901991Wrote 5 papers:
- VDME-1990-DiepenH #algebra #relational #semantics
- A Formal Semantics for Z and the Link between Z and the Relational Algebra (MJvD, KMvH), pp. 526–551.
- VDME-1991-HeeSV #petri net
- Z and High Level Petri Nets (KMvH, LJS, MV), pp. 204–219.
- VDME-1991-HeeSV91a
- The EXSPECT Tool (KMvH, LJS, MV), pp. 683–684.