Journals in DBLP
Acta Inf.
1999, volume: 36, number: 1
- Michael Schenke, Ernst-Rüdiger Olderog
Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications. [Citation Graph (0, 0)][DBLP]
Acta Inf., 1999, v:36, n:1, pp:1-65 [Journal] - Michael Schenke
Transformational Design of Real-Time Systems. Part II: From Program Specifications to Programs. [Citation Graph (0, 0)][DBLP]
Acta Inf., 1999, v:36, n:1, pp:67-96 [Journal]
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002