Antonella Santone, Gigliola Vaglini. Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. Journal of Automated Reasoning, 30(1):33-58, 2003.
@article{SantoneV03,
title = {Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations},
author = {Antonella Santone and Gigliola Vaglini},
year = {2003},
tags = {rule-based},
researchr = {https://researchr.org/publication/SantoneV03},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {30},
number = {1},
pages = {33-58},
}