- Tytuł:
- A verification framework for spatio-temporal consistency language with CCSL as a specification language
- 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.
Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.
Formularz