1. ASIAN 1995:
Pathumthani, Tailand Kanchana Kanchanasut , Jean-Jacques Lévy (Eds.):
Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Tailand, December 11-13, 1995, Proceedings.
Lecture Notes in Computer Science 1023 Springer 1995, ISBN 3-540-60688-2 Algorithms
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Knowledge Representation and Programming Languages
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Concurrency and Networking
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Pankaj Jalote :
Formalizing Inductive Proofs of Message Recovery in Distributed Systems.
187-194
export record as
dblp key:
export record as
dblp key:
Data Bases
export record as
dblp key:
export record as
dblp key:
Knowledge Representation and Programming Languages
export record as
dblp key:
export record as
dblp key:
conf/asian/Hienhuys-ChengW95 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Specifications and Verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
