The Community for Technology Leaders
Logic in Computer Science, Symposium on (1998)
Indianapolis, Indiana
June 21, 1998 to June 24, 1998
ISSN: 1043-6871
ISBN: 0-8186-8506-9
pp: 478
INDEX TERMS
CITATION
P. Panangaden, A. Edalat, J. Desharnais, "A Logical Characterization of Bisimulation for Labeled Markov Processes", Logic in Computer Science, Symposium on, vol. 00, no. , pp. 478, 1998, doi:10.1109/LICS.1998.705681
88 ms
(Ver 3.3 (11022016))