- Tytuł:
-
A verification framework for spatio-temporal consistency
language with CCSL as a specificationlanguage - Autorzy:
- Źródło:
- Frontiers of Computer Science. 14(1):105-129
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.