@InProceedings{ThiemeEtAl2026,
author = {Marc Thieme and Shobhit Singh and Terru St{\"{u}}binger and Romain Pascual and Mattias Ulbrich},
editor = {Fuyuki Ishikawa and Alcino Cunha},
title = {Slicing Models for Equiconsistency with Alloy},
booktitle = {Rigorous State-Based Methods - 12th International Conference, {ABZ}
2026, Tokyo, Japan, May 18-20, 2026, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {191--209},
publisher = {Springer},
year = {2026},
url = {https://doi.org/10.1007/978-3-032-26752-8\_12},
doi = {10.1007/978-3-032-26752-8\_12}
}
Slicing Models for Equiconsistency with Alloy
| Author(s): | Marc Thieme, Shobhit Singh, Terru Stübinger, Romain Pascual, and Mattias Ulbrich |
|---|---|
| In: | Rigorous State-Based Methods - 12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings |
| Publisher: | Springer |
| Series: | Lecture Notes in Computer Science |
| Year: | 2026 |
| Pages: | 191-209 |
| Preprint/PDF: | abz2026.pdf |
| URL: | https://doi.org/10.1007/978-3-032-26752-8_12 |
| DOI: | 10.1007/978-3-032-26752-8_12 |
| Links: | The final publication is available at Springer. |