Journals in DBLP
Formal Asp. Comput.
1992, volume: 4, number: 2
- Parosh Aziz Abdulla
Automatic Verification of a Class Systolic Circuits. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 1992, v:4, n:2, pp:149-194 [Journal] - Johan J. Lukkien, Jan L. A. van de Snepscheut
Weakest Preconditions for Progress. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 1992, v:4, n:2, pp:195-236 [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