Nick Feng, Lina Marsso
, Yuliia Kholodetska, Marsha Chechik
Article de revue (2025)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
Adresse URL de PolyPublie:
Titre de la revue
:
Formal Methods in System Design
(
vol.
67
,
no
3
)
Maison d'édition:
Springer Science+Business Media
URL officielle:
OAI:
oai:publications.polymtl.ca:70416
ORCID
Date du dépôt:
03 déc. 2025 12:00
Dernière modification:
14 oct. 2026 14:31
Citer en APA 7:
Feng, N., Marsso, L., Kholodetska, Y., & Chechik, M. (2025). Bounded satisfiability checking of FOL* formulas with aggregations. Formal Methods in System Design, 67(3), 282-315. https://doi.org/10.1007/s10703-025-00483-4
Statistiques
Dimensions
