LNCS 523, Springer Verlag, 1987.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Brisk Machine: A Simplified STG Machine - Holyer, Spiliopoulou (1998) (4 citations) (Correct)
No context found.
LNCS 523, Springer Verlag, 1987.
The Brisk Machine: A Simplified STG Machine - Holyer, Spiliopoulou (1998) (4 citations) (Correct)
No context found.
Architecture, LNCS 274, Springer Verlag, 1987.
Integrating Fault Tree Analysis With Event . . . - Bozzano (2003) (Correct)
No context found.
, LNCS. Springer-Verlag. Cimatti, A., E. Clarke, F. Giunchiglia, and M. Roveri
Recent Developments in the Design of Conventional.. - Preneel, Rijmen.. (1998) (10 citations) (Correct)
No context found.
, LNCS 809, R. Anderson, Ed., Springer-Verlag,
Recent Developments in the Design of Conventional.. - Preneel, Rijmen.. (1998) (10 citations) (Correct)
No context found.
Recent Developments in the Design of Conventional.. - Preneel, Rijmen.. (1998) (10 citations) (Correct)
No context found.
On Protocol Divertibility - Bleumer (Correct)
No context found.
LNCS 304, Springer-Verlag, Berlin198#. 127--141.
A Meta-Heuristic for Subset Problems - Flener, Hnich, Kiziltan (2001) (Correct)
No context found.
LNCS 1292. Springer-Verlag, 1997.
Delay Analysis in Synchronous Programs - Halbwachs (1993) (75 citations) (Correct)
No context found.
Stony Brook. LNCS 630, Springer Verlag, August 1992.
Jumping Petri Nets. Specific Properties - Tiplea, Mäkinen (1996) (Correct)
No context found.
LNCS 254, Springer-Verlag, 1987, 397#412.
A Description Logic for Image Retrieval - Di Sciascio, Donini (Correct)
No context found.
LNCS, pages 156#163. Springer-Verlag, 1997.
Modeling and Analysis of Load and Time Dependent.. - Garg, Pfening.. (1996) (1 citation) (Correct)
No context found.
Perspectives, LNCS, Springer Verlag, Vol. 774, pp. 171-181, 1994.
Efficient Convertible Undeniable Signature Schemes - Michels, Stadler (1997) (3 citations) (Correct)
No context found.
LNCS 547, Proc. Eurocrypt '91, Springer Verlag, #1992#, pp. 221#242.
A Semantics for Multiprocessor Systems - Krishnan (1991) (2 citations) (Correct)
No context found.
PARLE-II , LNCS 259. Springer Verlag, 1987.
A Semantics for Multiprocessor Systems - Krishnan (1991) (2 citations) (Correct)
No context found.
CONCUR-91, LNCS:527, pages 393#407. Springer-Verlag, August 1991.
A Semantic Characterisation for Faults in Replicated Systems - Krishnan (1 citation) (Correct)
No context found.
LNCS-104. Springer Verlag, 1981.
A Semantic Characterisation for Faults in Replicated Systems - Krishnan (1 citation) (Correct)
No context found.
LNCS:527, pages 393#407. Springer-Verlag, August 1991.
A Case Study in Specifying and Testing Architectural Features - Krishnan (1994) (Correct)
No context found.
LNCS 407, pages 24#37. Springer Verlag, 1989.
A Case Study in Specifying and Testing Architectural Features - Krishnan (1994) (Correct)
No context found.
TAPSOFT-91: LNCS 494, pages 283#296. Springer Verlag, 1991.
Game Tree Algorithms and Solution Trees - Pijls, de Bruin (1998) (Correct)
No context found.
Informatics, LNCS, vol. 1338, Springer-Verlag, 1997, pp. 539-546.
Key Schedule Classification of the AES Candidates - Carter, Dawson, Nielsen (1999) (1 citation) (Correct)
No context found.
Eurocrypt'93, LNCS 765, Springer-Verlag, 1994, pp. 386-397.
Comparing Genetic Programming Variants for Data.. - Eggermont, Eiben, van.. (Correct)
No context found.
LNCS, pages 195-204, Goteborg, Sweden, 26-27 May 1999. Springer-Verlag.
Warm Fusion for the Masses: Detailing Virtual Data.. - Johann, Lewis.. (1998) (Correct)
No context found.
LNCS 375, Springer-Verlag, pp. 335 # 347, 1989.
Electronic Payment Systems - Asokan, Janson, Steiner, Waidner (1996) (5 citations) (Correct)
No context found.
ESORICS '94, LNCS 875, Springer-Verlag, Berlin 1994, 217-230.
Syntactic Confluence Criteria for Positive/Negative-Conditional.. - Wirth (1995) (3 citations) (Correct)
No context found.
CTRS 1994, LNCS ?, pp. ?-?, Springer-Verlag.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC