Skip to content
Institutional repository
Communities & Collections
Browse
Site
Log In
imec Publications
Articles
Making model checking feasible for GOAL
Publication:
Making model checking feasible for GOAL
Date
2024
Journal article
https://doi.org/10.1007/s10472-023-09898-3
Simple item page
Full metadata
Statistics
Loading...
Loading...
Basic data
APA
Chicago
Harvard
IEEE
Basic data
APA
Chicago
Harvard
IEEE
Author(s)
Yang, Yi
;
Holvoet, Tom
Journal
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Abstract
Description
Metrics
Views
568
since deposited on 2023-10-17
Acq. date: 2025-10-25
Citations
Metrics
Views
568
since deposited on 2023-10-17
Acq. date: 2025-10-25
Citations