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

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

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

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

Probabilistic Methods of Signal and System Analysis ISBN: 9780195123548

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

Formal Methods for the Design of Real-Time Systems: International School on: New

Probabilistic Methods of Signal and System Analysis (3rd) by Cooper and McGillem