Travelled to:1 × Germany
1 × Italy
Collaborated with:T.A.C.Willemse B.Luttik J.F.Groote J.J.A.Keiren F.P.M.Stappers E.P.d.Vink W.Wesselink
Talks about:overview (1) fixpoint (1) toolset (1) recent (1) advanc (1) logic (1) mcrl (1) evid (1)
Person: Sjoerd Cranen
DBLP: Cranen:Sjoerd
Contributed to:
2015
2013Wrote 2 papers:
- CSL-2015-CranenLW #fixpoint #logic
- Evidence for Fixpoint Logic (SC, BL, TACW), pp. 78–93.
- TACAS-2013-CranenGKSVWW #overview #tool support
- An Overview of the mCRL2 Toolset and Its Recent Advances (SC, JFG, JJAK, FPMS, EPdV, WW, TACW), pp. 199–213.