%0 Journal Article %1 journals/mam/SantoneV01 %A Santone, Antonella %A Vaglini, Gigliola %D 2001 %J Microprocess. Microsystems %K dblp %N 6 %P 309-314 %T Reusing LOTOS specifications. %U http://dblp.uni-trier.de/db/journals/mam/mam25.html#SantoneV01 %V 25

@article{journals/mam/SantoneV01, added-at = {2020-05-18T00:00:00.000+0200}, author = {Santone, Antonella and Vaglini, Gigliola}, biburl = {https://www.bibsonomy.org/bibtex/2f48bf0e084079b3b66101c0a49240c6d/dblp}, ee = {https://doi.org/10.1016/S0141-9331(01)00123-5}, interhash = {d7a2ce23b32064affbaf1b8e342fb207}, intrahash = {f48bf0e084079b3b66101c0a49240c6d}, journal = {Microprocess. Microsystems}, keywords = {dblp}, number = 6, pages = {309-314}, timestamp = {2020-05-19T11:56:03.000+0200}, title = {Reusing LOTOS specifications.}, url = {http://dblp.uni-trier.de/db/journals/mam/mam25.html#SantoneV01}, volume = 25, year = 2001 }