%0 Journal Article %1 journals/jar/SantoneV03 %A Santone, Antonella %A Vaglini, Gigliola %D 2003 %J J. Autom. Reason. %K dblp %N 1 %P 33-58 %T Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. %U http://dblp.uni-trier.de/db/journals/jar/jar30.html#SantoneV03 %V 30

@article{journals/jar/SantoneV03, added-at = {2020-09-02T00:00:00.000+0200}, author = {Santone, Antonella and Vaglini, Gigliola}, biburl = {https://www.bibsonomy.org/bibtex/24d2bee624249c6bb604b8c25bb8a9ffb/dblp}, ee = {https://doi.org/10.1023/A:1022561505762}, interhash = {a58a24dcb89fd9c29ba8f321d163b9e0}, intrahash = {4d2bee624249c6bb604b8c25bb8a9ffb}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 1, pages = {33-58}, timestamp = {2020-09-09T13:34:59.000+0200}, title = {Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar30.html#SantoneV03}, volume = 30, year = 2003 }