Year | DOI | Venue |
---|---|---|
1999 | 10.1109/ICECS.1999.812275 | ICECS |
Keywords | DocType | Citations |
process algebra,communication complexity,bisimulation,computer science,formal verification,hardware,algebra,computational complexity,controllability,communication ports,minimisation | Conference | 0 |
PageRank | References | Authors |
0.34 | 4 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ana C. V. De Melo | 1 | 5 | 0.92 |