%0 Report %1 Mossakowski05c %A Mossakowski, Till %D 2005 %K imported %T Heterogeneous specification and the heterogeneous tool set

@techreport{Mossakowski05c, added-at = {2016-08-05T15:59:03.000+0200}, author = {Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/2bfbef3283c851200f197578e30dfffc0/tillmo}, institution = {Universitaet Bremen}, interhash = {1122dc0d33e9bfa46e8749357b819ee0}, intrahash = {bfbef3283c851200f197578e30dfffc0}, keywords = {imported}, note = {Habilitation thesis}, pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/habil.pdf}, psurl = {http://www.informatik.uni-bremen.de/~till/papers/habil.ps}, status = {Other}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Heterogeneous specification and the heterogeneous tool set}, year = 2005 }