1![](https://www.pdfsearch.io/img/8905eeb68ba631dd5a906809f5b6b222.jpg) | Add to Reading ListSource URL: www.hieratic.euLanguage: English |
---|
2![On-the-Fly Exact Computation of Bisimilarity Distances Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare Dept. of Computer Science, Aalborg University Quantitative Models: Expressiveness, Analysis, and New Appl On-the-Fly Exact Computation of Bisimilarity Distances Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare Dept. of Computer Science, Aalborg University Quantitative Models: Expressiveness, Analysis, and New Appl](https://www.pdfsearch.io/img/867a003dfa2ad1580f7d5c70bc809ce2.jpg) | Add to Reading ListSource URL: people.cs.aau.dkLanguage: English - Date: 2014-06-10 09:27:45
|
---|
3![BRICS Basic Research in Computer Science BRICS RS-97-4 Blute et al.: Bisimulation for Labelled Markov Processes Bisimulation for Labelled Markov Processes BRICS Basic Research in Computer Science BRICS RS-97-4 Blute et al.: Bisimulation for Labelled Markov Processes Bisimulation for Labelled Markov Processes](https://www.pdfsearch.io/img/a9890bdfec5eeeb207eb1a567c6f53da.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 1997-06-05 08:52:23
|
---|
4![Contents Foreword xiii Preface Contents Foreword xiii Preface](https://www.pdfsearch.io/img/1b178774eb1a10d743b847c51a9cb5f4.jpg) | Add to Reading ListSource URL: www-i2.informatik.rwth-aachen.deLanguage: English - Date: 2008-04-04 05:03:58
|
---|
5![Probabilistic Temporal Logics via the Modal Mu-Calculus Rance Cleaveland a S. Purushothaman Iyer b Murali Narasimha c a Probabilistic Temporal Logics via the Modal Mu-Calculus Rance Cleaveland a S. Purushothaman Iyer b Murali Narasimha c a](https://www.pdfsearch.io/img/518d98e16706131e9ca7b0b5153962e3.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2006-02-09 15:25:09
|
---|
6![Probabilistic bisimulation and equivalence for security analysis of network protocols A. Ramanathan? , J. Mitchell? , A. Scedrov ? ?? Probabilistic bisimulation and equivalence for security analysis of network protocols A. Ramanathan? , J. Mitchell? , A. Scedrov ? ??](https://www.pdfsearch.io/img/b6bdf5f0327edddfcefa5817e26f5e47.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2003-10-17 16:57:14
|
---|
7![Decidability of Parameterized Probabilistic Information Flow Danièle Beauquier1 , Marie Duflot1 and Yury Lifshits2 1 2 Decidability of Parameterized Probabilistic Information Flow Danièle Beauquier1 , Marie Duflot1 and Yury Lifshits2 1 2](https://www.pdfsearch.io/img/173badd5a45efa53bac6cd8b783ef30a.jpg) | Add to Reading ListSource URL: yury.nameLanguage: English - Date: 2008-11-06 22:09:07
|
---|
8![Designing the Minimal Structure of Hidden Markov Model by Bisimulation Manuele Bicego, Agostino Dovier, and Vittorio Murino Dip. di Informatica, Univ. di Verona Strada Le Grazie 15, 37134 Verona, Italy {bicego,dovier,mur Designing the Minimal Structure of Hidden Markov Model by Bisimulation Manuele Bicego, Agostino Dovier, and Vittorio Murino Dip. di Informatica, Univ. di Verona Strada Le Grazie 15, 37134 Verona, Italy {bicego,dovier,mur](https://www.pdfsearch.io/img/f49a00a4741372182fef5095a62daed6.jpg) | Add to Reading ListSource URL: profs.sci.univr.itLanguage: English - Date: 2011-10-29 17:44:24
|
---|