Transforming Linear Terms of Algebraic Specifications into Method Application Structures.
| Title | Transforming Linear Terms of Algebraic Specifications into Method Application Structures. |
| Publication Type | Journal Article |
| Year of Publication | 2006 |
| Authors | Dölle, B |
Bibtex:
@article {551,
title = {Transforming Linear Terms of Algebraic Specifications into Method Application Structures.},
year = {2006},
note = {International Journal of Computer and Information Science, 7:1-4, 13-32 (2006) [ISSN 1525-9293]},
author = {B. D{\"o}lle}
}- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Mahmoud Abdelrehim
- Aliyu Ali
- Christopher Walther
- Phillip Bende
- Moritz Bayerkuhnlein
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Raik Dankworth
- Anja Grotrian
- Raik Hipler
- Elaheh Hosseinkhani
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Mahdi Pourghasem
- Manuel Herbst
- Inger Struve
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Sparsh Tiwari
- Lars Vosteen
- Open Positions
- Contact