- Tytuł:
- A verification framework for spatio-temporal consistency language with CCSL as a specification language
- Autorzy:
- Źródło:
- Frontiers of Computer Science; February 2020, Vol. 14 Issue: 1 p105-129, 25p
Periodyk
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.