%0 Conference Paper %1 conf/semweb/ScheglmannLLST14 %A Scheglmann, Stefan %A Leinberger, Martin %A Lämmel, Ralf %A Staab, Steffen %A Thimm, Matthias %B ISWC (Posters & Demos) %D 2014 %E Horridge, Matthew %E Rospocher, Marco %E van Ossenbruggen, Jacco %I CEUR-WS.org %K dblp %P 149-152 %T Property-based typing with LITEQ. %U http://dblp.uni-trier.de/db/conf/semweb/iswc2014p.html#ScheglmannLLST14 %V 1272

@inproceedings{conf/semweb/ScheglmannLLST14, added-at = {2023-03-10T00:00:00.000+0100}, author = {Scheglmann, Stefan and Leinberger, Martin and Lämmel, Ralf and Staab, Steffen and Thimm, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/230b6ddf6717dd7657700935d6319274b/dblp}, booktitle = {ISWC (Posters & Demos)}, crossref = {conf/semweb/2014p}, editor = {Horridge, Matthew and Rospocher, Marco and van Ossenbruggen, Jacco}, ee = {https://ceur-ws.org/Vol-1272/paper_118.pdf}, interhash = {bd3390e11a4e9276bdddfcd5a56a8cb8}, intrahash = {30b6ddf6717dd7657700935d6319274b}, keywords = {dblp}, pages = {149-152}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T11:33:33.000+0200}, title = {Property-based typing with LITEQ.}, url = {http://dblp.uni-trier.de/db/conf/semweb/iswc2014p.html#ScheglmannLLST14}, volume = 1272, year = 2014 }