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

Probabilistic Networks and Expert Systems: Exact Computational Methods for Bayes

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

Formal methods for real time and probabilistic systems:5th International AMAST W

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

Probabilistic Fracture Mechanics and Fatigue Methods Structural Design Book

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

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