Model Generation for ID-Logic (Modelgeneratie voor ID-logica) ; Model Generation for ID-Logic

@inproceedings{Marin2009ModelGF,
  title={Model Generation for ID-Logic (Modelgeneratie voor ID-logica) ; Model Generation for ID-Logic},
  author={Maarten Mari{\"e}n},
  year={2009}
}