report,
Hets for Common Logic Users
T. Mossakowski, C. Maeder, M. Codescu, E. Kuksa, and C. Lange.(2013)
Meta data
- BibTeX key
- HetsForCommonLogic
- entry type
- report
- year
- 2013
- institution
- DFKI GmbH, Bremen
- pubs
- clange
- bdsk-url-1
- https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/doc/UserGuideCommonLogic.pdf
- version
- 0.99
- Document
- https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/doc/UserGuideCommonLogic.pdf
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Generic
%1 HetsForCommonLogic
%A Mossakowski, Till
%A Maeder, Christian
%A Codescu, Mihai
%A Kuksa, Eugen
%A Lange, Christoph
%D 2013
%K imported
%T Hets for Common Logic Users
%U https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/doc/UserGuideCommonLogic.pdf
@report{HetsForCommonLogic,
added-at = {2017-01-27T23:28:47.000+0100},
author = {Mossakowski, Till and Maeder, Christian and Codescu, Mihai and Kuksa, Eugen and Lange, Christoph},
bdsk-url-1 = {https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/doc/UserGuideCommonLogic.pdf},
biburl = {https://www.bibsonomy.org/bibtex/2ace10d6cc9d0f11e3339f440955d59bd/soeren},
institution = {DFKI GmbH, Bremen},
interhash = {17ed95818f2c0f922fcab712ac73261f},
intrahash = {ace10d6cc9d0f11e3339f440955d59bd},
keywords = {imported},
pubs = {clange},
timestamp = {2017-01-27T23:30:12.000+0100},
title = {{Hets} for {Common Logic} Users},
url = {https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/doc/UserGuideCommonLogic.pdf},
version = {0.99},
year = 2013
}