- Tytuł:
- Extended beam search for non-exhaustive state space analysis
- Autorzy:
- Źródło:
- In Journal of Logic and Algebraic Programming 2012 81(1):46-69
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.