<style face="normal" font="default" size="100%">Parameterized model checking of fine grained concurrency</style>

Drupal-Bibcite