- Tytuł:
- Objective/MC: A high-level model checking language: Formalization of the imperative core and translation into PRISM
- Autorzy:
- Źródło:
- Journal of Intelligent Information Systems: Integrating Artificial Intelligence and Database Technologies. 52(3):533-571
Czasopismo naukowe