Formal Methods for Real-Time and Probabilistic Systems : 5th International Am...

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FOR

Formal Methods for Mobile Computing: 5th International School on Formal Methods

Formal Methods for Components and Objects: 5th International Symposium, FMCO 200

Katoen - Formal Methods for Real-Time and Probabilistic Systems 5th - X555z

Probabilistic Networks and Expert Systems: Exact Computational Methods for Bayes

Bayesian Methods for Hackers: Probabilistic Programming LIKE NEW