( en | de | ru )

 

Disambiguation of "Ladkin, Peter B."

Author of the publication

copydeleteadd this publication to your clipboard
Lazy Caching in TLA.

, , , and . Distributed Comput., 12 (2-3): 151-174 (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hans-Peter B Stutz

B Klösgen

B Strauß

B Schäfers

B Wiederanders

 

Other publications of authors with the same name

Risks of Technological Remedy.. Commun. ACM, 40 (11): 160 (1997)The Fukushima Accident.. SSS, page 189-207. Springer, (2012)From logic to manuals again., and . IEE Proc. Softw. Eng., 144 (3): 185-192 (1997)Causal Analysis of the ACAS/TCAS Sociotechnical System.. SCS, volume 47 of CRPIT, page 3-12. Australian Computer Society, (2004)The Completeness of a Natural System for Reasoning with Time Intervals.. IJCAI, page 462-465. Morgan Kaufmann, (1987)Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+., and . FBT, volume 315 of GMD-Studien, page 79-88. GMD-Forschungszentrum Informationstechnik GmbH, (1997)Models of Axioms for Time Intervals.. AAAI, page 234-239. Morgan Kaufmann, (1987)Causal Reasoning about Aircraft Accidents.. SAFECOMP, volume 1943 of Lecture Notes in Computer Science, page 344-360. Springer, (2000)Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort., and . SCS, volume 33 of CRPIT, page 3-23. Australian Computer Society, (2003)Cyber Threats (Panel)., , , and . FTCS, page 104-106. IEEE Computer Society, (1998)