Journals in DBLP
Formal Methods in System Design
1998, volume: 13, number: 3
- Olaf Schröer, Ingo Wegener
The Theory of Zero-Suppressed BDDs and the Number of Knight's Tours. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 1998, v:13, n:3, pp:235-253 [Journal] - Gerard J. Holzmann
An Analysis of Bitstate Hashing. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 1998, v:13, n:3, pp:289-307 [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