%0 Report %1 sadilek08TReprovide2 %A Sadilek, Daniel A. %A Wachsmuth, Guido %D 2008 %K collegues thesis %T EProvide 2.0: an Extensible Framework for Describing Operational Semantics

@techreport{sadilek08TReprovide2, added-at = {2008-07-30T11:59:59.000+0200}, author = {Sadilek, Daniel A. and Wachsmuth, Guido}, biburl = {https://www.bibsonomy.org/bibtex/2f2922d23ffe7e17b171c76bafa026dde/markus.scheidgen}, institution = {{Humboldt-Universit{\"a}t zu Berlin}}, interhash = {3da982152789a09367983c013ab48b7d}, intrahash = {f2922d23ffe7e17b171c76bafa026dde}, keywords = {collegues thesis}, timestamp = {2008-07-30T12:00:00.000+0200}, title = {EProvide 2.0: an Extensible Framework for Describing Operational Semantics}, year = 2008 }