FB 3
Group BKB
>
Publications
>
Search
>
Deutsch
English
Publications Search - Details
Publication type:
Article
Author:
Einar Broch Johnsen, Christoph Lüth
Title:
Abstracting Transformations for Refinement
Volume:
10
Page(s):
316 – 336
Journal:
Nordic Journal of Computing
Year published:
2004
PDF Version:
http://www.informatik.uni-bremen.de/~cxl/papers/njc04a.pdf
PostScript Version:
http://www.informatik.uni-bremen.de/~cxl/papers/njc04a.ps.gz
Status:
Reviewed
Last updated:
27. 02. 2004
Back to result list
Author: Automatically generated page
Group BKB
Last updated: May 9, 2023