Formal Verification of Emergent Properties
-
Published:2021-09-15
Issue:3
Volume:45
Page:
-
ISSN:1854-3871
-
Container-title:Informatica
-
language:
-
Short-container-title:IJCAI
Author:
Boumaza Kamal,Tolba Cherif,Ober Iulian
Publisher
Slovenian Association Informatika
Subject
Artificial Intelligence,Computer Science Applications,Theoretical Computer Science,Software