sTeX – A System for Flexible Formalization of Linked Data. Kohlhase, A.; Kohlhase, M.; and Lange, C. In
doi  bibtex   
@inproceedings{Kohlhaseb,
title = {sTeX -- A System for Flexible Formalization of Linked Data},
author = {Andrea Kohlhase and Michael Kohlhase and Christoph Lange},
doi = {10.1145/1839707.1839712},
crossref = {ISEMANTICS2010},
keywords = {conference},
pubstate = {published},
tppubtype = {inproceedings}
}
Downloads: 0