- Tytuł:
- Model Checking Abstract State Machines with Answer Set Programming
- Autorzy:
-
Tang, C.K.F.
Ternovska, E. - Data publikacji:
- 2007
- Słowa kluczowe:
- abstract state machines
- Pokaż więcej
- Dostawca treści:
- BazTech
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.