TITLE     : An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine
AUTHOR(S) : Mazzanti F
TYPE      : Conference article
YEAR      : 2016
CODE      : 391747

*** DO NOT EDIT THIS FILE ***