@inproceedings{15c7d66055844af38c00ecce664c555b,
title = "Model Checking, the Technology and the Tools",
keywords = "Geen BTA classificatie",
author = "C Pronk",
year = "2012",
doi = "10.1109/ICSEngT.2012.6339364",
language = "English",
publisher = "IEEE",
pages = "1--2",
editor = "sn",
booktitle = "Control and Computer Tecnology in the Future Application",
address = "United States",
note = "2012 International Conference on System Engineering and Technology ; Conference date: 11-09-2012 Through 12-09-2012",
}