CrocoPat 21 Introduction and Reference Manual
<|reference_start|>CrocoPat 21 Introduction and Reference Manual: CrocoPat is an efficient, powerful and easy-to-use tool for manipulating relations of arbitrary arity, including directed graphs. This manual provides an introduction to and a reference for CrocoPat and its programming language RML. It includes several application examples, in particular from the analysis of structural models of software systems.<|reference_end|>
@article{beyer2004crocopat,
    title={CrocoPat 2.1 Introduction and Reference Manual},
    author={Dirk Beyer (University of California, Berkeley), Andreas Noack
  (Brandenburg University of Technology)},
    journal={arXiv preprint arXiv:cs/0409009},
    year={2004},
    number={UCB//CSD-04-1338},
    archivePrefix={arXiv},
    eprint={cs/0409009},
    primaryClass={cs.PL cs.DM cs.DS cs.SE}
}