@inproceedings{f8548aeb71f3422d8d9aef262e34d1a2,
title = "Modelling a cardiac pacemaker visually and formally",
keywords = "formal methods, modelling, visual languages",
author = "Jerome Leemans and Nuno Amalio",
year = "2012",
doi = "10.1109/VLHCC.2012.6344542",
language = "English",
isbn = "9781467308502",
series = "Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC",
pages = "257--258",
booktitle = "Proceedings - 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012",
note = "2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012 ; Conference date: 30-09-2012 Through 04-10-2012",
}