Formal Methods

Overview of attention for book

Formal Methods

Springer Nature Switzerland

Attention for Chapter: Stochastic Games for User Journeys

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 X post from an account with 586 followers.

Paper here (open access proceedings): https://t.co/zzRzY3Cw8J

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.