//--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Academic Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Retain my current filters
~language:"eng"
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Algebraic specification of mod...
Similar by person
Narrow search
Delete all filters
| 1 applied filter
Year of publication
From:
To:
Type of publication
All
Book / Working Paper
2
Language
All
English
Undetermined
12
Author
All
Ehrig, Hartmut
2
Große-Rhode, Martin
2
Heise, Andreas
1
Published in...
All
Bericht / Technische Universität Berlin, Fachbereich 20, Informatik
2
Source
All
USB Cologne (EcoSocSci)
2
Showing
1
-
2
of
2
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
Specification techniques for concurrent and distributed systems
Ehrig, Hartmut
;
Große-Rhode, Martin
;
Heise, Andreas
-
1992
Persistent link: https://www.econbiz.de/10004126800
Saved in:
2
Transformation of combined data type and process specifications using projection algebras
Große-Rhode, Martin
;
Ehrig, Hartmut
-
1990
Persistent link: https://www.econbiz.de/10004071837
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->