Title | ||
---|---|---|
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings |
Year | Venue | Field |
---|---|---|
2007 | ICTAC | Algebraic specification,Deontic logic,Refinement calculus,Domain theory,Linear temporal logic,Theoretical computer science,Formal methods,Temporal logic,Mathematics,Algebraic semantics |
DocType | Volume | ISBN |
Conference | 4711 | isbn |
Citations | PageRank | References |
28 | 2.03 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Cliff B. Jones | 1 | 1286 | 192.68 |
Zhiming Liu | 2 | 749 | 58.11 |
Jim Woodcock | 3 | 534 | 77.08 |