Journals in DBLP
Acta Inf.
2000, volume: 36, number: 11
- Yonit Kesten, Zohar Manna, Amir Pnueli
Verification of Clocked and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
Acta Inf., 2000, v:36, n:11, pp:837-912 [Journal] - Erzsébet Csuhaj-Varjú, Victor Mitrana
Evolutionary Systems: A Language Generating Device Inspired by Evolving Communities of Cells. [Citation Graph (0, 0)][DBLP]
Acta Inf., 2000, v:36, n:11, pp:913-926 [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