- Tytuł:
- Formally verifying decompositions of stochastic specifications
- Autorzy:
- Źródło:
- International Journal on Software Tools for Technology Transfer. :1-22
Czasopismo naukowe
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.