Sciweavers

115 search results - page 7 / 23
» cj 2008
Sort
View
CJ
2002
79views more  CJ 2002»
14 years 10 months ago
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
Muffy Calder, Savi Maharaj, Carron Shankland
68
Voted
CJ
2002
65views more  CJ 2002»
14 years 10 months ago
Reverse Execution of Java Bytecode
Jonathan J. Cook
56
Voted
CJ
2002
73views more  CJ 2002»
14 years 10 months ago
A Thread of HOL Development
Michael Norrish, Konrad Slind
58
Voted
CJ
2002
81views more  CJ 2002»
14 years 10 months ago
Lower Bounds for One-to-one Packet Routing on Trees using Hot-Potato Algorithms
Alan Roberts, Antonios Symvonis, David R. Wood