Multi-core On-the-fly Saturation

2019/01/01

Authors:

Published in: TACAS

Paper

BibTeX entry:

@inproceedings{DijkMP19,
 author = {Tom van Dijk and Jeroen Meijer and Jaco van de Pol},
 booktitle = {TACAS},
 title = {{Multi-core On-the-fly Saturation}},
 year = {2019}
}