Heterogeneous specification and the heterogeneous tool set
Type of publication: | Techreport |
Citation: | Mossakowski05c |
Year: | 2005 |
Institution: | Universitaet Bremen |
Note: | Habilitation thesis |
Userfields: | pdfurl={http://www.informatik.uni-bremen.de/~till/papers/habil.pdf}, project={I4-SPIN}, psurl={http://www.informatik.uni-bremen.de/~till/papers/habil.ps}, status={Other}, |
Keywords: | |
Authors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|