Sciweavers

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