[BibTeX] [RIS]
Checking conservativity with Hets
Type of publication: Inproceedings
Citation: CodescuEtAl13c
Booktitle: CALCO 2013
Year: to appear
Userfields: status={Reviewed},
Keywords:
Authors Codescu, Mihai
Mossakowski, Till
Maeder, Christian
Attachments
    Notes
      Topics