Items where authors include "ULRICH-OLTEAN, FELIX"

Proceedings Paper

Johnson, Victoria, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, FOSTER, SIMON DAVID orcid.org/0000-0002-9889-9514 et al. (2 more authors) (2026) Verifying Properties of State-Based Models using Constraint Programming. In: ABZ 2026: The 12th International Conference on Rigorous State Based Models. UNSPECIFIED. Springer Nature Switzerland . (In Press)