Journals in DBLP
Information and Control
1984, volume: 61, number: 3
- E. Allen Emerson, A. Prasad Sistla
Deciding Full Branching Time Logic [Citation Graph (0, 0)][DBLP]
Information and Control, 1984, v:61, n:3, pp:175-201 [Journal] - Manfred Broy
Semantics of Communicating Processes [Citation Graph (0, 0)][DBLP]
Information and Control, 1984, v:61, n:3, pp:202-246 [Journal] - Damian Niwinski
Fixed-Point Characterization of Context-Free \infty-Languages [Citation Graph (0, 0)][DBLP]
Information and Control, 1984, v:61, n:3, pp:247-276 [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