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

Author(s)

;

Journal

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE

Statistics

572 since deposited on 2023-10-17

1last month

Acq. date: 2026-01-27