I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Markov processes in Isabelle/HOL:

, In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs,
Hölzl, Johannes - p. 100-111 , 2017
Link: https://dl.acm.org/doi/10.1145/3018610.3018628