Travelled to:1 × France
2 × Portugal
Collaborated with:P.Klint A.v.d.Ploeg S.Blom J.v.d.Pol W.Fokkink J.F.Groote I.v.Langevelde J.R.Calame S.Orzan J.Pang M.T.Dashti A.Wijs
Talks about:analysi (2) crl (2) compendium (1) transform (1) distribut (1) toolset (1) softwar (1) algebra (1) visual (1) toward (1)
Person: Bert Lisser
DBLP: Lisser:Bert
Contributed to:
2011
2007
2001Wrote 3 papers:
- SLE-2011-KlintLP #analysis #towards #visualisation
- Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software (PK, BL, AvdP), pp. 1–18.
- TACAS-2007-BlomCLOPPDW #analysis #case study #distributed
- Distributed Analysis with µCRL: A Compendium of Case Studies (SB, JRC, BL, SO, JP, JvdP, MTD, AW), pp. 683–689.
- CAV-2001-BlomFGLLP #algebra #named #specification #tool support
- µCRL: A Toolset for Analysing Algebraic Specifications (SB, WF, JFG, IvL, BL, JvdP), pp. 250–254.