# Model checking well-behaved fragments of HS: the (almost) final picture

> Research article (Institutional Research Information System (University of Udine), 2016) · cited 12× · AI/ML

**Wikidata**: [openalex:W2573949374](https://www.wikidata.org/wiki/openalex:W2573949374)  
**Source**: https://4ort.xyz/entity/model-checking-well-behaved-fragments-of-hs-the-almost-final-picture